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, verification, decision procedures, Craig interpolation

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

[3] Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs Matthias Schlaipfer, Georg Weissenbacher Journal of Automated Reasoning, 2016, Springer. [bibtex] [pdf]
[2] Reduction of Resolution Refutations and Interpolants via Subsumption Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher Chapter in Hardware and Software: Verification and Testing (Eran Yahav, ed.), volume 8855 of Lecture Notes in Computer Science, pages 188-203, 2014, Springer International Publishing. [bibtex] [pdf] [doi]
[1] Generalized Reactivity(1) Synthesis without a Monolithic Strategy Matthias Schlaipfer, Georg Hofferek, Roderick Bloem Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pages 20-34, 2011. [bibtex] [pdf] [doi]

Other sites: