Štefan Hudák

Academic degrees:
prof. Ing., DrSc.
Job Title:
Full Professor
Assignment:
Teacher
E-mail:
Stefan.Hudak at tuke.sk
Phone:
+421 55 602 2525
Fax:
+421 55 63 301 15
Room:
531A


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: Monday 13.30-14.30, Thursday 13.30-14.30
Lectures
  • Theoretical informatics
  • Programming techniques
  • Machine-oriented languages
  • Formal specification of systems

Research  interests
  • Abstract machines and models of computations
  • Design and analysis of discrete systems
  • Time state reachability analysis in time-critical systems
  • Formal methods for design and analysis of discrete systems (automata, Petri nets, process algebras, B AMN)
  • Formal methods integration

Current Ph.D. students
  • Slavomír Šimoňák, MSc.
  • Štefan Korečko, MSc.
  • Peter Šurin, MSc.
  • Ján Grofčík, MSc.
  • Marek Výrost, MSc.

Membership

  • Communications of the International Solomom University on Mathematics and Cybernetics, Kiew - member of the Editorial Board from 1999
  • Problemy programmirovanija, Kiew - member of the Editorial Board from 2003
  • International Programme Committee of EMES, Oradea, Romania from 1999
  • Computer Engineering Board of The Ministry of Education of the Slovak Republic, 1981 - 1988
  • Computer Engineering Board of The Slovak Commission for Techology and Investment Development, 1981 - 1985
  • Scientific Board of The Institute of Computer Engineering of The P.J.Šafárik University in Košice, 1981 - 1989
  • Scientific Board of The Faculty of Natural Science of The P.J.Šafárik University in Košice, 1967 - 1989
  • Scientific Board of The P.J.Šafárik University in Košice, 1967 - 1989
  • Scientific Board of The Institute of Computer Engineering of The Slovak Universities and The Slovak Academy of Science, 1984 - 1986
  • Scientific Board of The Faculty of Electrical Engineering and Informatics of The Technical University in Košice from 2003
  • All Slovak Republic Common Commission for Granting PhD Scientific Degree in the scientific field 25-21-9 Computer Tools and Systems from 1998
  • All Slovak Republic Common Commission for Granting DrSc Scientific Degree in the scientific field Computer Engineering and Informatics from 1998
  • EXIN.SR (Member of the Examination Board of the AMBI project in The Slovak Republic) from 1995
  • State Examination Commission for state exams in the study field Computer Engineering and Informatics at Faculty of Electrical Engineering and Informatics of The Technical University in Košice from 1992
  • State Examination Commission for state exams in the study field Computer Engineering and Informatics at Faculty of Electrical Engineering and Informatics of The Slovak Technical University in Bratislava from 1998
  • State Examination Commission for state exams in the study field Computer Engineering and Informatics at Faculty of Electrical Engineering of The Czech Technical University in Prague from 1998
  • The Slovak Society for Applied Cybernetics and informatics - SSAKI

Projects

  • Research programme RVT P04-533-081-00, coordinator: Doc. J. Békeš, SVŠT Bratislava. "Introducing technical cybernetics methods into educational process at university level.", project leader: S.Hudak, concluding defence  PF UPJŠ 1975.
  • Research programme SPEV-V-2-12, coordinator: Dr. A. Niznansky, ÚVT VŠ Bratislava,
    workgroup SPEV-V-2-12.07:
    1. taskgroup:"Time-space scheduling university activities by means of computers"
    2. taskgroup:"Design of visual tools for man-machine interaction based on display device"
    3. taskgroup:"International relations", workgroup leader: S.Hudak, concluding defence  PF UPJŠ 1980.
  • Research programme A-08-333-811, coordinator: Prof. J. Cáha, ČVUT Praha,
    taskgroup DÚ 01: Program support of teaching process.
    taskgroup DÚ 02: Design and experimental checking of template classrooms,
    tasksgroup leader: S.Hudak, concluding defence: FEL ČVUT Praha 1990.
  • Institutionally granted project, TER nets: Time Analysis of Systems, No. 42181, FEI TU Košice, 1994-1996, Project leader: S.Hudak, concluding defence january 1997.
  • SGA granted project, TER nets: Time Analysis of Real-Time Systems, No. 1-3208-96, SGA Commission for Electroengineering and Informatics, Project leader: S.Hudak, Final Report 19.1.1999.
  • SGA granted project, A new methodology for Time State Reachability Analysis in Time-Critical Systems. Project No. 1/6191/99, SGA Commission for Electroengineering and Informatics, Project leader: S.Hudak, Final Report 22.01.2002.
  • SGA granted project, Formal Specifications of Discrete Systems. Project No. 1/0377/03, SGA Commission for Electroengineering and Informatics, Project leader: S.Hudak.

Books

  • Hudák Štefan: Computer Systems I, (in Slovak),1. edition, Košice, ES UPJŠ, 1985,  304pp. Abstract
  • Hudák Štefan: Reachability Analysis of Systems Based on Petri Nets, 1. edition, Košice, elfa spol. s r.o., 1999,   272 pp., ISBN 80-88964-07-5 Abstract
  • Hudák Štefan: Machine-oriented languages, (in Slovak), 1. edition, Košice, FEI TU, 2003, Edition of textbooks, 218 pp., ISBN 80-969071-3-1 Abstract

Publications

2003
  1. Šimoňák Slavomír, Hudák Štefan: APC - Algebra of Process Components, EMES '03, 29.-31.5.2003., Felix Spa, Oradea, 2003, pp. 57-63, ISSN 1223 - 2106 Abstract
  2. Šimoňák Slavomír, Hudák Štefan: Algebra of PN Terms, Informatika 2003, 7. konferencia so zahraničnou účasťou, 27.-28. 11. 2003, Bratislava, Dom techniky ZSVTS Bratislava s.r.o., 2003, pp. 250-255, ISBN – 80-233-0491-7 Abstract
  3. Korečko Štefan, Hudák Štefan, Šimoňák Slavomír: Formal Methods Integration for Design and Analysis of Time-critical Systems, Informatika 2003, 7. konferencia so zahraničnou účasťou, 27.-28. 11. 2003, Bratislava, Dom techniky ZSVTS Bratislava s.r.o., 2003, 7, pp. 211-216, ISBN – 80-233-0491-7 Abstract
  4. Hudák Štefan, Korečko Štefan: Some Problems of the mFDT Environment Development, EMES '03, Proceedings of the 7th Scientific Conference with International Participation, 29.-31.5.2003, Oradea, Rumunsko, University of Oradea, 2003, 7, pp. 64-70, ISSN-1223-2106 Abstract
2002
  1. Šimoňák Slavomír, Hudák Štefan: Using Petri Nets and Process Algebra in FDT Interfacing, the Fifth International Scientific Conference „Electronics Computers and Informatics´2002“, 10.-11.10.2002, Košice - Herľany, 2002, pp. 8-13, 80-7099-879-2 Abstract
2001
  1. Hudák Štefan, Šimoňák Slavomír: FDT Interfacing, 6th International Conference EMES '01, 24.-26.5.2001, Oradea - Felix Spa, 2001, pp. 53-59, 1223-2106 Abstract
  2. Hudák Štefan, Šimoňák Slavomír: Multi FDT Interfacing, Acta Electrotechnica et Informatica, 1, 1, 2001, pp. 23-27, 1335-8243 Abstract
  3. Hudák Štefan, Šimoňák Slavomír: Some problems with FDT Interfacing, Computer Science Education Workshop - CSEW´2001, 25.-26.10.2001, Košice - Herľany, 2001, pp. 111-117, 80-7099-705-2 Abstract
  4. Bača Ján, Hudák Štefan: De/compositional Time Reachability Analysis, Proceedings of the 6th International Conference, 24.-26.5.2001, Oradea - Felix Spa, 2001, pp. 60-65, 1223-2106 Abstract
  5. Hudák Štefan: Terminologické problémy informatiky, Computer Science Education Workshop - CSEW´2001, 25.-26.10.2001, Košice - Herľany, 2001, pp. 95-99, 80-7099-705-2 Abstract
1999
  1. Šimoňák Slavomír, Hudák Štefan: Image processing in virtual reality system, 5’th scientific conference with international participation EMES ’99, 26-29.5.1999, Felix Spa, Oradea, 1999, pp. 47-53, 1223-2106 Abstract
1995
  1. Bača Ján, Ábel Ján, Hudák Štefan: Decomposition of the Petri nets, Bulletins for Applied Mathematics, 1995, pp. 9-15, 0133-3526 Abstract


Last updated: