Academic Curriculum Vitæ
Publications
The arrow ↑ denotes that the authors are in alphabetic order, ↓ denotes reverse alphabetic order.
Conference Papers
- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
Schurr, Hans-Jörg, Mathias Fleury, and Martin Desharnais (↓)
In CADE 2021. LNCS [Preprint]
Workshop Papers
- Reconstructing VeriT Proofs in Isabelle/HOL
Fleury, Mathias, and Hans-Jörg Schurr
In PxTP 2019. EPTCS [Slides] [PDF] - Capability Discovery for Automated Reasoning Systems
Steen, Alexander, Max Wisniewski, Hans-Jörg Schurr, and Christoph Benzmüller
In IWIL@LPAR 2017 workshop and LPAR-21 short presentations. Vol. 1. Kalpa Publications in Computing. Maun, Botswana: EasyChair [PDF]
Talks
- Better SMT Proofs for Easier Reconstruction
Barbosa, Haniel, Jasmin Christian Blanchette, Mathias Fleury, Pascal Fontaine, and Hans-Jörg Schurr (↑)
In AITP 2019
[Abstract]
Education
since December 2017 — PhD Studies — Inria & Université Lorraine
Advised by Pascal Fontain and Jasmin Blanchette; I am part of the Matryoshka project
2017 — Master’s Degree with distinction in Logic & Computation — TU Wien
2013 — Bachelor’s Degree in Mathematics in Computer Science — TU Wien
Teaching
Fall 2016 and spring 2017 — Juggling teacher for the university sports — FU Berlin
Spring 2016 — Teaching assistant “Computational Metaphysics” – FU Berlin
Prepared and carried out exercises for the Isabelle/HOL theorem proving system
Fall 2013 — Orientation and mentoring for freshmen (Erstsemestrigentutorium) — TU Wien
Fall 2012 — Orientation and mentoring for freshmen (Erstsemestrigentutorium) — TU Wien
Fall 2011 — Orientation and mentoring for freshmen (Erstsemestrigentutorium) — TU Wien
Academic Services
- Subreviewer: CADE 2021, ICALP 2021
- I helped to prepare benchmarks submitted to the SMT-LIB library in 2020 and 2021.
- Conference Volunteering: CADE 2015, Vienna Summer of Logic 2014, Game/AI 2014
- June 2013 - February 2015