Štefan Korečko

Academic degrees:
Ing., PhD.
Job Title:
Assistant professor
Assignment:
Teacher
E-mail:
Stefan.Korecko at tuke.sk
Phone:
+421 55 602 2518
Fax:
+421 55 63 301 15
Room:
533A


Address:
Technical University of Košice

Faculty of Electrical Engineering and Informatics

Department of Computers and Informatics

Letná 9

042 00  Košice

Slovak Republic



Consulting hours:  Thursday 10:40-11:40

Practice
  • Formal specifications of systems
  • Machine-oriented languages
  • Formal languages and automata
  • Theoretical informatics
  • Modelling and simulation
  • Expert systems
  • CAD systems
Research interests
  • Formal methods for specification, verification and development of discrete systems (Petri Nets, B-Method, process algebra)
  • Formal and semiformal methods integration
  • Discrete-event systems modelling and simulation
  • Visualisation of systems developed by formal methods

Membership
  • a member of SSAKI (Slovak Society for Applied Cybernetics and Informatics)
  • a member of CSSS (Czech and Slovak Simulation Society)
  • a member of organizing committees of international scientific conferences ECI'2006, CSE'2008, Informatics'2009 and CSE'2010


Publications



Last updated: