Main Research Areas
- Adaptive Languages and Software Systems: Ján Kollár, Jaroslav Porubän, Peter Václavík, Sergej Chodarev, Emília Pietriková, Michaela Kreutzová, Dominik Lakatoš, Ivan Halupka
- Theory of Programming: Valerie Novitzká, William Steingartner, Martina Ľaľová, Pavol Macko
- Formal Methods of Systems Specification: Štefan Hudák, Slavomír Šimoňák, Štefan Korečko
