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.