• [20.07.2026] Unser (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” wurde für die IEEE eScience 2026 angenommen, Publikation erfolgt via IEEE CPS.
• [01.06.2026] Unser (Nikolas Bertrand, Charlotte Grunert, Mario Frank, Anna-Lena Lamprecht) Paper “Towards ASP-based Composition of Scientific Workflows” wurde beim 19th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2026) angenommen. Die Publikation soll in CEUR-WS Proceedings erfolgen.
• [11.05.2026] Ich bin erneut Teil des Artifact Evaluation Committee der ACM SIGPLAN International Conference on Functional Programming.
• [11.05.2026] Unser (Vedran Kasalica, Peter Kok, Rob Marissen, Mario Frank, Magnus Palmblad, Anna-Lena Lamprecht) Kapitel “Tackling Analytical Variability with Workflomics” wurde als Teil des Buches “Workflow Systems for Large-Scale Scientific Data Analysis” durch die Berlin Universities Press veröffentlicht.
• [01.04.2026] Unser (Mario Frank, Christoph Kreitz) Kapitel “Automatische Inferenz” wurde als Teil der Neuauflage des “Handbuch der Künstlichen Intelligenz” durch De Gruyter veröffentlicht.
• [23.01.2026] Ich bin erstmalig Teil des Artifact Evaluation Commitee der European Conference on Object-Oriented Programming (ECOOP 2026)

Ausbildung

• 2024 - Promotion zum "Dr. rer. nat", Thema: "On Synthesising Linux Kernel Module Components from Coq Formalisations"
• 2013 - Abschluss als "Dipl.-Inform", Thema: "TEMPLAR - Efficient Determination of Relevant Axioms in Big Formula Sets for Theorem Proving"

Weiterbildungen

• 2026 - Abschluss des "Research Management & Leadership" Programmes der Potsdam Graduate School
• 2015 - Abschluss des "Junior Teaching Professionals" Programmes der Potsdam Graduate School

Wissenschaftliche und Technische Positionen

• Seit 02/2026 - Wissenschaftlicher Mitarbeiter, Lehr- und Studienkoordination, Institut für Informatik
• 07/2024-01/2026 - Wissenschaftlicher Mitarbeiter (PostDoc),  Lehrstuhl Software Engineering
• 04/2024-07/2024 - Wissenschaftlicher Mitarbeiter,  Lehrstuhl Software Engineering
• 07/2021-03/2024 - Wissenschaftlicher Mitarbeiter, Lehrstuhl Theoretische Informatik (Konsortialprojekt VERSECLOUD)
• 2016-2021 - Wissenschaftlicher Mitarbeiter, Lehrstuhl Theoretische Informatik
• 2014-2016 - Technischer Mitarbeiter in den Projekten "Reisen.UP" und "Beschaffung.UP" der CIO, Universität Potsdam