• [20.07.2026] Our (Mario Frank, Sebastian Müller, Akshay Devkate, Anna-Lena Lamprecht) Paper “How do Researchers Test their Software? A Repository Mining Study of JOSS-Published Projects” was accepted for the IEEE eScience 2026, Publication is planned via IEEE CPS.
• [01.06.2026] Our (Nikolas Bertrand, Charlotte Grunert, Mario Frank, Anna-Lena Lamprecht) Paper “Towards ASP-based Composition of Scientific Workflows” was accepted at the 19th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2026). Publication is planned via CEUR-WS Proceedings.
• [11.05.2026] I will (again) be serving as part of the Artifact Evaluation Committee of the ACM SIGPLAN International Conference on Functional Programming.
• [11.05.2026] Our (Vedran Kasalica, Peter Kok, Rob Marissen, Mario Frank, Magnus Palmblad, Anna-Lena Lamprecht) chapter “Tackling Analytical Variability with Workflomics” was published as part of “Workflow Systems for Large-Scale Scientific Data Analysis” by the Berlin Universities Press.
• [01.04.2026] Our (Mario Frank, Christoph Kreitz) chapter “Automatische Inferenz” was published in the new edition of “Handbuch der Künstlichen Intelligenz” by De Gruyter.
• [23.01.2026] I will be serving as part of the Artifact Evaluation Commitee of the European Conference on Object-Oriented Programming (ECOOP 2026) for the first time.

Education

• 2024 - Defended my dissertation for the academic degree "Dr. rer. nat." on the topic "On Synthesising Linux Kernel Module Components from Coq Formalisations"
• 2013 - Degree "Dipl.-Inform" (Diploma in Computer Science, equivalent to Master of Science) on the topic "TEMPLAR - Efficient Determination of Relevant Axioms in Big Formula Sets for Theorem Proving"

Trainings

• 2026 - Finished the "Research Management & Leadership" Programme  of the Potsdam Graduate School in February 2026
• 2015 - Finished the "Junior Teaching Professionals" Programme  of the Potsdam Graduate School in April 2015

Scientific and Technical Positions

• Since 02/2026 - Research Associate, Teaching and Studies coordinator, Institute of Computer Science
• 07/2024-01/2026 - Research Associate (PostDoc),  Software Engineering Chair
• 04/2024-07/2024 - Research Assistant,  Software Engineering Chair
• 07/2021-03/2024 - Research Assistant, Theoretical Computer Science Chair (consortial project VERSECLOUD)
• 2016-2021 - Research Assistant, Theoretical Computer Science Chair
• 2014-2016 - Technical Assistant for the projects "Reisen.UP" and "Beschaffung.UP" at the CIO division, University of Potsdam