
Pavol Černý
TU Wien
Pavol Černý's research area is computer-aided verification, and he focuses on program synthesis. He has recently worked on applications in networking, artificial intelligence, and software engineering.
Program Visits
Organizer (Non Visiting)