| Name: | Ing. Samuel Novotný |
| Function: |
PhD. student |
| Supervisor: | doc. Ing. William Steingartner PhD. |
| Phone number: | |
| E-mail: | samuel.novotny@student.tuke.sk |
| Building: |
Letná 9 |
| Room: |
B525 |
| Consultation hours: |
Streda od 14.00 - 17.00 alebo po dohode emailom prípadne MS Teams |
| Research focus: |
- neklasické logické systémy
- transparentná intenzionálna logika
- interaktívne dokazovacie systémy
- teória typov
- funkcionálne a logické programovanie
|
| Publons URL (ResearcherID): |
Undefined |
|
 |
Publications registered in
University Library
Projects:
