Novotný Samuel
Name:
Ing. Samuel Novotný
Supervisor:
Steingartner William
Ročník:
3
Building:
Letná 9
Miestnosť - nové označenie (new numbering):
B525
Consultation hours:
Streda od 14.00 - 17.00 alebo po dohode emailom prípadne MS Teams. Dňa 13.05.2026 sú konzultačné hodiny zrušené z dôvodu odcestovania na pracovnú cestu.
Research focus:
neklasické logické systémy
transparentná intenzionálna logika
interaktívne dokazovacie systémy
teória typov
funkcionálne a logické programovanie
Meno:
Samuel
Priezvisko:
Novotný