© Tiss: Pavol Cerny

Univ.Prof. Pavol Cerny, PhD was appointed University Professor for Computer Aided Verification at TU Wien with effect from September 2, 2019. He is assigned to the Institute for Logic and Computation, opens an external URL in a new window (E192) of the Faculty of Informatics, opens an external URL in a new window.

Pavol Cerny received his DEA diploma from the École normale supérieure (ENS) in Paris. He then moved to the USA and received his PhD in 2009 from the University of Pennsylvania (USA) on the topic of “Software Model Checking for Confidentiality, opens an external URL in a new window”. A postdoctoral fellowship took him to IST Austria in Klosterneuburg from 2009 to 2012. He then returned to the US and joined the Department of Electrical, Computer, and Energy Engineering (ECEE), opens an external URL in a new window at the University of Colorado Boulder (USA) as an assistant professor of computer science in 2013.

His scientific home is now the Formal Methods in Systems Engineering research area, opens an external URL in a new window (E192-04). His research focuses on computer-aided verification and, in particular, program synthesis.

Publications by Pavol Cerny in ReposiTUm, opens an external URL in a new window.