![](/sites/default/files/styles/post_card_lg_2x/public/citations_0.jpeg.jpg?itok=AceGRxlY)
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.