Academic Curriculum Vitæ


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]


  • Better SMT Proofs for Easier Reconstruction
    Barbosa, Haniel, Jasmin Christian Blanchette, Mathias Fleury, Pascal Fontaine, and Hans-Jörg Schurr (↑)
    In AITP 2019


  • 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

    • From 2015 to May 2017 visit to the Leo-III team at FU Berlin
    • Spring term 2017 – Global E³ Student at KAIST — Korea
    • Thesis: Preprocessing in Higher-order Reasoning – Learning from QBF Solving [PDF]
  • 2013 — Bachelor’s Degree in Mathematics in Computer Science — TU Wien


  • 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
    • Member of the Student’s Council at TU Wien (Mitglied der Universitätsvertretung)
    • Vice member to the academic senate of the TU Wien
    • Member of the appointment commission for a full professor in Algorithms and Data Structures