Zum Hauptinhalt springen

Dr. rer. nat Mario Frank

Wissenschaftlicher Mitarbeiter

Studienfachberatung I/CS, BAFöG-Beauftragter für Informatik, wissenschaftliche Koordination der Joint Labs

Campus Golm
Universität Potsdam
Institut für Informatik und Computational Science
Haus 70, Raum 2.46
An der Bahn 2
14476 Potsdam

Forschungsinteressen

  • Formale Methoden im Software- und Hardware-Design
  • Correct-by-Construction Systems Engineering
  • Scientific Workflows
  • Software (Artifact) Quality

Curriculum Vitae

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