Dr. rer. nat Mario Frank
Research Associate
Student Consultation I/CS, BAFöG Officer for Computer Science, Scientific Coordinator of the Joint Labs
Research Interests
- Formal Methods in Software- and Hardware-Design
- Correct-by-Construction Systems Engineering
- Scientific Workflows
- Software (Artifact) Quality
Online Profiles
Curriculum Vitae
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