Matthias Schlaipfer

  • Project Assistant
  • Formal Methods in Systems Engineering (forsyte)
  • Institute of Information Systems
  • TU Wien
  • Favoritenstraße 9-11, 1040 Wien, Austria
  • E-Mail:

Research interests:
  • Program synthesis
  • Programming languages
  • Proof theory

PhD advisors:
Previous education:
  •  I hold both a BSc and a Dipl.-Ing. degree in computer science from TU Graz.

Other sites: