| Meno: | Ing. Samuel Novotný |
| Zaradenie: |
Doktorand |
| Školiteľ: | doc. Ing. William Steingartner PhD. |
| Telefónne číslo: | |
| E-mail: | samuel.novotny@student.tuke.sk |
| Budova: |
Letná 9 |
| Miestnosť: |
B525 |
| Konzultačné hodiny: |
Streda od 14.00 - 17.00 alebo po dohode emailom prípadne MS Teams |
| Zameranie výskumu: |
- neklasické logické systémy
- transparentná intenzionálna logika
- interaktívne dokazovacie systémy
- teória typov
- funkcionálne a logické programovanie
|
| Publons URL (ResearcherID): |
Nedefinované |
|
 |
Publikačná činnosť evidovaná v
Univerzitnej Knižnici
Projekty:
