Hlavné oblasti výskumu
- Adaptivne jazyky a softvérové systémy: Ján Kollár, Jaroslav Porubän, Sergej Chodarev, Emília Pietriková, Michaela Bačíková, Dominik Lakatoš, Milan Nosáľ, Michal Sičák, Milan Spišiak, Matúš Sulír, Lukáš Galko, Milan Jančár
- Teória programovania: Valerie Novitzká, William Steingartner, Ján Perháč
- Formálne metódy špecifikácie systémov: Štefan Hudák, Slavomír Šimoňák, Štefan Korečko
