Dr. Markus “Makarius” Wenzel

makarius@sketis.net

• Publications
• Publications indexed by DBLP
• Isabelle software releases

---

Notable software projects

• Isabelle: a generic proof assistant and platform for Interactive Theorem Proving (ITP)
• Poly/ML: a full implementation of Standard ML (SML’97) with native support for multicore hardware (used as back-end platform for Isabelle)
• jEdit: Programmer’s Text Editor (used as front-end of the Isabelle Prover IDE, which is properly called Isabelle/jEdit)

---

Notable scientific events

• ITP 2018 (associated with FLoC 2018), Oxford (UK), 09..12-Jul-2018
• Isabelle Workshop 2018 (associated with ITP 2018), Oxford (UK), 13-Jul-2018
• UITP Workshop 2018 (associated with IJCAR 2018), Oxford (UK), 13-Jul-2018
• F-IDE Workshop 2018 (associated with FM 2018), Oxford (UK), 14-Jul-2018
• Dagstuhl Seminar: Formalization of Mathematics in Type Theory, Schloss Dagstuhl, Wadern (DE), 19..24-Aug-2018.