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

---

Research interests:

• Program synthesis
• Programming languages
• Proof theory

---

PhD advisors:

• Georg Weissenbacher
• Alexander Leitsch

---

Previous education:

•  I hold both a BSc and a Dipl.-Ing. degree in computer science from TU Graz.

---

Publications:

• dblp
• Google Scholar

---

Other sites:

• http://forsyte.at/~schlaipfer/
• https://github.com/mschlaipfer