Pavol Černý

TU Wien
Visiting Scientist, Program Organizer and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

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