Laboratory of Informatics and Computer Languages

Members

  1. Jaroslav Porubän, PhD. Administrative Head of Group
  2. Prof. Štefan Hudák, DrSc.
  3. Prof. Ján Kollár, PhD.
  4. Assoc. prof. Valerie Novitzká, PhD.
  5. Slavomír Šimoňák, PhD.
  6. Martin Tomášek, PhD.
  7. Peter Václavík, PhD.
  8. Štefan Korečko
  9. Ing. Attila N. Kovács, Ph.d. student
  10. Ing. Róbert Hužvár, Ph.d. student
  11. Michal Forgáč, Ph.d. student
  12. Anita Verbová, Ph.d. student
  13. Jana Bandáková, Ph.d. student
  14. Viliam Slodičák, Ph.d. student

Research Areas
  • Abstract machines and models of computations
  • Formal methods for design and analysis of discrete systems (automata, Petri nets, process algebras, B AMN)
  • Implementation of formal methods transformations
  • Time state reachability analysis in time-critical systems
  • Formal methods integration
  • Formal specifications of discrete systems and their decomposition
  • Design and analysis of discrete systems
  • Specification languages
  • Theory of programming
  • Type theory
  • Programming paradigms (modular, object, functional, imperative functional, process functional, aspect-oriented)
  • Design of programming languages
  • Open program systems and adaptive program systems
  • Implementation of functional programming languages
  • Parallel and distributed programming, real time systems
  • High performance computing, MPI
  • Program profiling
 
Laboratory of Software Engineering

Members

  1. Marek Paralič, PhD. Administrative Head of Group
  2. Branislav Sobota, PhD.
  3. Ladislav Samuelis, PhD.
  4. Ondrej Pločica

Research Areas
  • Formal specification of distributed systems
  • Formal specifications of communicating and mobile systems
  • Distributed programming using mobile agents
  • Multi-agent systems
  • Software agents technology
  • Mobile code paradigms
  • Component-based software development
  • Java technologies
  • Implementation of artificial intelligence languages 
  • Open learning and distance education
  • Computer graphics
  • Virtual reality
 
Laboratory of Information Systems

Members

  1. Mrs. Henrieta Telepovská, , PhD., Administrative Head of Group
  2. Assoc. prof. Zdeněk Havlice, PhD.
  3. Assoc. prof. Milan Šujanský, PhD.
  4. Igor Sivý, PhD.
  5. Ján Genči, PhD.
  6. Daniel Mihályi
  7. Csaba Szabó
  8. Ing. Iveta Adamuščinová, Ph.D. student
  9. Ján Kunštár, Ph.D. student
  10. Miroslav Beličák, Ph.D. student
  11. Martin Révés, Ph.D. student

Research Areas
  • Methods, tools and methodologies of analysis and design of software systems
  • Modelling and prototyping of software systems
  • CASE and Meta-CASE systems
  • Design of formal textual and graph languages
  • Modelling and simulation of systems
  • Computer Aided Design
  • Software architectures
  • Mathematical modelling of information systems
  • Object-oriented design of information systems
  • Information systems security
  • Management information systems
  • Advanced database technologies
  • Knowledge-based systems
  • Integrated project support environments 
 
Laboratory of Computer Networks

Members

  1. František Jakab, PhD. Administrative Head of Group
  2. Assoc. prof. Ján Bača, PhD.
  3. Juraj Giertl
  4. Katarína Kleinová
  5. Miroslav Biňas
  6. Peter Ivančík, Ph.D. student
  7. Peter Feciľák, Ph.D. student
  8. Miroslav Michalko, Ph.D. student

Research Areas
  • Computer networks and their maintenance
  • Security of data transfer in computer networks
  • Measurement, monitoring and evaluation of quality of service (QoS) parameters
  • New forms of communication based on multimedia
  • E-learning systems, intelligent tutoring systems
Laboratory of Computer Architectures and Security

Members

  1. Norbert Ádám Administrative Head of Group
  2. Prof. Liberios Vokorokos, PhD.
  3. Anton Baláž
  4. Milan Hauliš
  5. Stanislav Šuba
  6. Vasiľ Vančík
  7. Branislav Madoš, Ph.D. student
  8. Ján Perháč, Ph.D. student
  9. Alžbeta Kleinová, Ph.D. student
  10. Martin Chovanec, Ph.D. student
  11. Ondrej Látka, Ph.D. student

Research Areas
  • Specialized parallel architectures
  • Parallel dataflow computers
  • Utilization of dataflow principles for parallel computer system diagnostics
  • Parallel architectures for specialized high performance computer systems
  • Methods, simulation and failures ofcomplex and parallel computer systems
  • Analysis and synthesis of logic systems
  • Diagnostics of digital systems
  • Formal specifications and decomposition of systems
  • Fault tolerant architectures
  • Design and construction of quality-aspected computer systems
  • Diagnostics of logic systems
  • Simulation of digital and analog circuits
  • Design and construction of components for computer systems and computer networks



Copyright © KPI FEI TU v Košiciach, Letná 9, 042 00 Košice, Slovenská republika