Zoltán Horváth
Professor
Director of Institute
Head of Department
Contact details
Address
1117 Budapest, Pázmány Péter sétány 1/c.
Room
2.605
Phone/Extension
8485
E-mail
Links
ORCID
WoS
Scopus
Google Scholar
Publications
Szakmai honlap
Doktori.hu
Scientific classifications
- 1.2 Computer and information sciences
- Computer sciences
Main research areas
Functional programming
Functional programming languages and semantics.
Distributed systems
Verification and correctness of distributed systems.