Slavomír Šimoňák

Academic degrees:
Ing., PhD.
Job Title:
Assistant professor
Assignment:
Teacher
E-mail:
Slavomir.Simonak at tuke.sk
Phone:
+421 55 602 3021
Fax:
+421 55 63 301 15
Room:
511B


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 09.10-10.40

Lectures
  • Data structures and algorithms
  • Assembler
Practice
  • Data structures and algorithms
  • Assembler
  • Programming

Research  interests
  • Formal methods for design and analysis of discrete systems (Petri nets, process algebra, B AMN)
  • Formal methods integration
  • Implementation of formal methods transformations

Membership

  • a member of Slovak Society for Applied Cybernetics and Informatics
  • a member of organizing committee of international scientific conferenc on Electronic Computers and Informatics, Košice-Herľany, Slovak Republic

News & Events

  • A talk devoted to the construction of minimal universal Petri net was given by prof.Zaitsev at MCU2013 conference in Zurich, Switzerland.
  • A new issue (02/2013) of Acta Electrotechnica et Informatica journal was published.
  • International Scientific Conference on Informatics, will be held in Spišská Nová Ves, Slovakia on November 5th – 7th, 2013.

Books

Programové prostriedky pre tvorbu dokumentov, tabuľkové výpočty a sieťové služby Programovacie techniky
[2000] [2010]
  • Šimoňák Slavomír, Tomášek Martin, Vokorokos Liberios: Programové prostriedky pre tvorbu dokumentov, tabuľkové výpočty a sieťové služby, Košice, elfa, s. r. o., 2000, 186 pp., ISBN 80-88964-42-3
  • Hudák Štefan, Šimoňák Slavomír: Programovacie techniky, Košice, Fakulta elektrotechniky a informatiky TU v Košiciach, 2010, 220 pp., ISBN 978-80-553-0531-8
Publications




Last updated: