Department of Software Technologies

General information

Phone 041/5134101
Head Ing. Viliam Tavač, PhD.
Contact 041/5134100
Room RA120
Deputy RNDr. Hynek Bachratý, PhD.
Contact 041/5134127
Room RA116
Secretary Mgr. Iveta Belošovičová
Phone 041/5134101
Room RA119


doc. RNDr. Katarína Bachratá, PhD. RA115 041/5134332
Courses: Discrete Probability, Process Analysis, Mathematical Principles of Computer Science - Probability, Mathematics for Computer Science,
Research: computer modeling of biological process, speech processing, models of stochastic process,
Theory of Teaching Mathematics
RNDr. Hynek Bachratý, PhD. RA116 041/5134127
Modelling, simulation and algorithm development for traffic and transportation processes.
Visualization of transportation systems and processes.
Modelling and simulations of elastic objects inside a fluid.
Didactics of Mathematics, e-learning mathematics, mathematical talented students education.
Lessons: Calculus, discrete mathematics, probability, statistics, stochastic processes lessons.
Mgr. Iveta Belošovičová RA119 041/5134101
doc. Mgr. Ivan Cimrák, Dr. RA116 041/5134126
teaching: mathematical analysis, discrete probability, mathematical principals of computer science - probability
research: computational modelling of fluid flows with immersed biological cells, numerical methods for partial differential equations, shape optimization, gradient methods for optimization
Ing. Miroslav Gábor, PhD. RA117 041/5134129
teaching: Informatics 3, Information and Control Systems in Transport
research: optimization algorithms of transport sets movement on transport networks, modeling and algorithms of information systems in transport
Ing. Patrik Hrkút, PhD. RA113 041/5134121
teaching: web application development, mobile application development, advanced object technologies
research: intelligent transportation systems, internet of things (IoT)
doc. Ing. Miroslav Hrnčiar, PhD. RA123 041/5134122
teaching: management systems, quality management - standardization concepts and TQM, project management, process management
research: quality of services methodology, software quality evaluation, quality culture selfassessment
Mgr. Iveta Jančigová, PhD. RA124 041/5134131
teaching: discrete probability, mathematics for computer science, computer science 1, computer science 2, mathematical principles in computer science (doctoral course); tutoring student project: image processing of recordings of biological experiments
research: modeling of elastic objects immersed in fluid flow with biomedical applications
doc. Ing. Ján Janech, PhD. RA114 041/5134132
object oriented programming, distributed database systems, metaprogramming, VANET, UML modeling, DSM tools
doc. Ing. Emil Kršák, PhD. RA104 041/5134050,041/5134128
teaching: object-oriented programming, advanced object technology, projects
research: distributed information systems, security of information systems, intelligent transportation systems
Ing. Matej Meško, PhD. RA124 041/5134131
web application problematics and development, mobile application development, intelligent transport systems, image processing
Ing. Ján Ružbarský, PhD. RA115 041/5134124
software modeling, software engineering, UML,
object-oriented programming (C++ ,Delphi),
algorithms and program support of optimization problems in transport
Ing. Viliam Tavač, PhD. RA120 041/5134125
Teaching: Informatics 3 (C++), Basic Windows Programming Research: Information System Architecture
Ing. Marek Tavač, PhD. RA114 041/5134130
teaching: software engineering, software modeling, advanced software technologies, projects
research: transportation ICT, modeling, software development
Ing. Štefan Toth, PhD. RA124 041/5134131
teaching: informatics, advanced object technologies, projects
research: intelligent transport systems, VANET, image recognition, internet of things

PhD Students

Mgr. Alžbeta Bohiniková RA316 041/5134553
Utilization and analysis of CTC cell models for the development of microfluidic devices
Ing. Michal Ďuračík RA316 041/5134553
PhD thesis: Algorithms for source code analysis.
Ing. František Kajánek RA316 041/5134553
Automated video processing for development and verification of computational models of biological cells
Mgr. Kristína Kovalčíková RA316 041/5134553
Mgr. Mariana Ondrušová RA316 041/5134553
Computational algorithms for the development, validation and application of biological cell models.
Ing. Martin Slavík RA316 041/5134553
Identification of the simulation model of elastic objects movement in a fluid flow.
Mgr. Monika Smiešková RA316 041/5134553
Identification of characteristics cell flow simulations for the development of microfluidic devices.