Marlis Jost

Marlis Jost is a Lecturer at the University of Freiburg's Department of Computer Science. She specializes in formal methods, software verification, and cyber-physical systems. Her teaching responsibilities include courses such as Cyber-Physical Systems I - Discrete Models, Program Verification, Automatentheorie, and Software Engineering. She has consistently contributed to these courses since at least 2012, adapting her curriculum to cover advanced topics in program analysis, decision procedures, and real-time systems.

• Teaching Focus: Formal methods, software design, and theoretical computer science.
• Research Involvement: Tools like Ultimate, SMTInterpol, and Hybrid Systems Verification.

Her work integrates academic instruction with practical applications in verification and cyber-physical systems. She has organized student projects and thesis topics, fostering hands-on learning in areas like static code analysis and model-based testing. Collaborative projects, such as the Graduiertenkolleg and AVACS initiatives, highlight her role in advancing interdisciplinary research.