Jan Haltermann Email and Phone Number

Als wissenschaftlicher Mitarbeiter in der Gruppe „Formale Methoden“ forsche ich im Bereich der kooperativen Softwareverifikation. Dabei entwickele ich in Kooperation mit anderen Forschenden formale Techniken für die Spezifikation und Verifikation von Softwaresystemen. Der Fokus meiner Arbeit liegt auf der Konzeption, Realisierung und empirischen Evaluation von Methoden, die eine Kooperation von verschiedenen automatischen Werkzeugen zur Softwareverifikation über Schnittstellenformate… Show more Als wissenschaftlicher Mitarbeiter in der Gruppe „Formale Methoden“ forsche ich im Bereich der kooperativen Softwareverifikation. Dabei entwickele ich in Kooperation mit anderen Forschenden formale Techniken für die Spezifikation und Verifikation von Softwaresystemen. Der Fokus meiner Arbeit liegt auf der Konzeption, Realisierung und empirischen Evaluation von Methoden, die eine Kooperation von verschiedenen automatischen Werkzeugen zur Softwareverifikation über Schnittstellenformate ermöglicht. Die Ergebnisse fasse ich in meiner Dissertation zusammen, die ich im Sommer 2024 abgeben werde.Darüber hinaus unterstütze ich in der universitären Lehre von Bachelor und Masterveranstaltungen und betreue Abschlussarbeiten. Show less