Philip Offtermatt

Philip Offtermatt has a diverse range of work experience. Most recently, they worked as a Research Engineer at Informal Systems starting in March 2023. Prior to that, they were a Doctoral Student at Université de Sherbrooke, focusing on the verification of software systems and developing mathematical techniques for analysis. Philip also served as a Doctoral Student at the University of Warsaw, starting in July 2022 and ending in February 2023.

In addition, Philip has worked with Informal Systems as a Research Contractor from August 2022 to December 2022 and as a Research Intern from April 2022 to June 2022. During their internship, they successfully implemented support for arbitrary temporal properties to the symbolic model checker Apalache, which led to a presentation at the TLA+ conference.

Philip's earlier experiences include working as a Doctoral Student at the Max Planck Institute for Software Systems from September 2020 to September 2021, and as a Working Student at Motius from September 2019 to December 2019, where they developed an IoT gateway for automotive use.

Furthermore, they have worked as a Teaching Assistant at the Technical University of Munich, teaching classes on Fundamentals of Algorithms and Data Structures and grading assignments and exams. Philip was also a Research Assistant at the university's chair for Foundations of Software Reliability and Theoretical Computer Science, where they developed an open-source plugin for the Process Mining tool ProM.

Prior to their university positions, Philip worked as a Student Intern at Motius, where they developed a pipeline for machine learning and conducted data analysis to match applicants with project descriptions. Philip also gained experience as a Teaching Assistant at the Technical University of Munich, teaching various computer science courses.

Overall, Philip Offtermatt has gained extensive knowledge and skills in software verification, mathematical analysis, algorithm development, and teaching through their varied work experiences.

Philip Offtermatt started their education journey in 2014 at the Technical University of Munich, where they obtained their Bachelor of Science degree in Informatics in 2018. In 2017, they briefly attended Al Akhawayn University, although it is unclear if they completed any degree or field of study during that time. Philip then pursued a Master of Science degree in Informatics at the Technical University of Munich from 2018 to 2019. Currently, Philip is enrolled as a Ph.D. student in Computer Science at the Université de Sherbrooke, a program they will be attending from 2020 to 2023.