Štefan Korečko

Štefan Korečko is an Assistant Professor at the Technical University of Košice, contactable via stefan.korecko@tuke.sk and +421 55 6024313. He holds consultations Mondays 10:50-12:20 in room B507 (B535 old numbering) at Letná 9 building, and teaches Component Programming laboratory exercises across four weekdays in room L9-B529.

His research centers on Formal Methods for specification, verification, and development of discrete systems using Petri Nets and B-Method, alongside discrete-event systems modeling/simulation, visualization of formally developed systems, and agent systems. These areas reflect deep expertise in theoretical computer science applied to complex system design.

No scientific awards are documented in the provided materials.

Information regarding student advisement, research grants, or laboratory team affiliations is absent from current records, though his teaching responsibilities indicate active curriculum development in programming education.