Ing. Štefan Krištofík, PhD.

Research

Personal

Teaching at FIIT STU

subject	2010	2011	2012	2013	2014	2015	2016-present
Description of digital systems	●
Principles of computer engineering	●				●		●
Logic circuits		●
Diagnostics of digital systems		●	●		●	●
Testing of digital systems		●	●			●
Reliability of digital systems		●	●	●
Testing and reliability of digital systems				●	●

Supervised bachelor theses

Balga, P.: A Software System for Supporting Education in Subjects LO and PPI. Defended.
Gottstein, M.: Visualization of stochastic automata and diagnosers. Not finished.
Kachman, O.: Simulation of computer’s register transfers. Defended.
Kováčová, H.: A Software System for Supporting Education in Subjects LO and PPI. Not finished.

Jom, D.: Visualization of stochastic automata and diagnosers. Partially finished.
Spurný, M.: Simulator for embedded memory repair algorithms. Partially finished.

Bacigál, L.: Graphical model of faults in memories. Defended.
Jom, D.: Graphic editor for probability automata and diagnosers. Not finished.
Spurný, M.: Graphic simulator for reconfiguration of embedded memories. Defended.
Tamáši, R.: Graphical fault model in memories. Defended.

Chalachán, J.: Generator of fault maps for RAM memories. Defended.
Rychvalský, T.: Simulator of advanced repair analysis algorithm for embedded memories. Defended.
Szakszová, K.: Fault map generator for RAMs. Defended.

Gembec, M.: Control and simulation of movement of automated vehicles in manufacturing halls. Defended.
Andrejkovič, I.: Analysis of fault distribution influence on RAM repair rate. Defended.

Kasáš, M.: Dynamic control and simulation of movement of automated vehicles in manufacturing halls. Defended.

Frankovičová, I.: Web application as a tool for teaching logic circuits. Defended.
Šoška, M.: Web application as a tool for teaching logic circuits. Defended.

Langová, A.: Alternative methods for teaching logic circuits. Defended.
Řeřicha, S.: Alternative methods for teaching logic circuits. Defended.
Gozora, D.: Alternative methods for teaching logic circuits. Not finished.
Štuller, J.: A contribution towards selected aspects of an agent for a real-time strategy. Not finished.
Hanková, M.: A contribution towards selected aspects of an agent for a real-time strategy. Defended.

Pavlík, M.: Web app for the subject PPI. Defended.
Macala, A.: Web app for the subject PPI. Defended.
Kováľ, D.: Web app for the subject PPI. Defended.
Jávorka, M.: A contribution towards selected aspects of a strategic game agent. Defended.
Miškove, A.: A contribution towards selected aspects of a strategic game agent. Defended.
Beňa, M.: A contribution towards selected aspects of a strategic game agent. Defended.

Pénzeš, E.: Fungi species detection from Petri dish images using deep learning. Defended.
Krajčovičová, L.: Fungi species detection from Petri dish images using deep learning. Defended.
Griščík, J.S.: Testing and deployment of a web app for the subject PPI. Defended.
Bordácsová, V.: Success rate tuning for a strategy game agent. Defended.
Hládek, A.: Success rate tuning for a strategy game agent. Defended.
Štuller, J.: Success rate tuning for a strategy game agent. Defended.

Supervised master theses

Šubín, J.: Built-in self-test and self-repair for embedded RAM memories. Defended.

Neupauer, Š.: Creating an opponent model in a real time strategy. Defended.
Kasáš, M.: Real-time strategy agent using automatically annotated knowledge base. Defended.
Tran Duc, D.: Decision making in a real time strategy using machine learning. Defended.

Mačuga, P.: Deep reinforcement learning agent for a real time strategy game. Defended.
Karpiel, R.: Developing real-time strategy game agent using reinforcement learning. Defended.

Hanková, M.: Strategy classification in RTS game StarCraft: BroodWar from the selected subset of replays. Defended.
Višvader, T.: Strategy classification in RTS game StarCraft using clustering. Defended.
Řeřicha, S.: Development of a RTS agent with opponent strategy classification. Defended.

Srnec, M.: Development of an artificial intelligence agent for a real-time strategy game using reinforcement learning. In progress.
Jávorka, M.: Development of an artificial intelligence agent for a strategy game with human-like constraints. In progress.
Miškove, A.: Development of an artificial intelligence agent for a strategy game with human-like constraints. In progress.