Roles

• Full Professor
  Formal Methods in Systems Engineering, E192-04
• Faculty Council
  Substitute Member

Contact

• pavol.cerny@tuwien.ac.at
• +43-1-58801-192403
• Favoritenstrasse 9, Room HC0311
• vCard from TISS

• forsyte.at
• informatics.tuwien.ac.at/people/pavol-cerny
• tiss.tuwien.ac.at/person/327623