© Tiss: Pavol Cerny

Univ.Prof. Pavol Cerny, PhD war vom 2.9.2019 bis 2024 Universitätsprofessor für Computer Aided Verification an der TU Wien. Er war dem Institut dem Institut für Logic and Computation, öffnet eine externe URL in einem neuen Fenster (E192) der Fakultät für Informatik, öffnet eine externe URL in einem neuen Fenster zugeordnet.

Pavol Cerny erhielt sein DEA Diplom an der École normale supérieure (ENS) in Paris. Danach übersiedelte er in die USA und promovierte 2009 an der University of Pennsylvania (USA) zum Thema “Software Model Checking for Confidentialit, öffnet eine externe URL in einem neuen Fenstery, öffnet eine externe URL in einem neuen Fenster”. Ein PostDoc Aufenthalt brachte ihn von 2009-2012 an das IST Austria in Klosterneuburg. Anschließend kehrte er zurück in die USA und war ab 2013 Assistenzprofessor am Department of Electrical, Computer, and Energy Engineering (ECEE), öffnet eine externe URL in einem neuen Fenster an der University of Colorado Boulder (USA) für Computer Science.

Seine wissenschaftliche Heimat war der Forschungsbereich Formal Methods in Systems Engineering, öffnet eine externe URL in einem neuen Fenster (E192-04). Seine Forschung zielte auf die Computerunterstützte Verifikation und hier die Programmsynthese.

Publikationen von Pavol Cerny in der Datenbank Scopus, öffnet eine externe URL in einem neuen Fenster und im ReposiTUm, öffnet eine externe URL in einem neuen Fenster.