Publications

The arrow ↑ denotes that the authors are in alphabetic order, ↓ denotes reverse alphabetic order.

Teaching

• Fall 2021 — Programmation distribuée & Web avancé (Distributed programming & advanced web programming) — Polytech Nancy

• 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

• Committees

  • TACAS 2024 (artifact evaluation)
  • SMT 2023 (program comittee)
  • TACAS 2022 (artifact evaluation)

• I co-maintain the SMT-LIB benchmark library since 2020.

• Reviewer: FroCoS 2023 TACAS 2022 SMT 2022 CADE 2021, CAV 2021, ICALP 2021, KI 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

Education

• December 2017 – 2022 — PhD Student — 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