Novotný Samuel

Name:

Ing. Samuel Novotný

Supervisor:

Steingartner William

Ročník:

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 29.04.2026 budú konzultačné hodiny prebiehať od 15.00 do 17.00.

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ý