Novotný Samuel

Meno:

Ing. Samuel Novotný

Školiteľ:

Steingartner William

Ročník:

Budova:

Letná 9

Miestnosť - nové označenie (new numbering):

B525

Konzultačné hodiny:

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.

Zameranie výskumu:

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ý