Prof. Dr. Michael Philippsen

Lehrstuhl für Informatik 2 (Programmiersysteme)

Verification and validation in industrial practice (V&ViP) Jan. 1, 2022 - Jan. 1, 2025 Analysis of Code Repositories (AnaCoRe) Jan. 1, 2010 - April 12, 2024 OpenMP for reconfigurable heterogenous architectures (ORKA) OpenMP für rekonfigurierbare heterogene Architekturen Nov. 1, 2017 - Dec. 31, 2023 Cooperative Exploration and Analysis of Software in a Virtual/Augmented Reality Appliance (Holoware) Kooperative Exploration und Analyse von Software in einer Virtual/Augmented Reality Appliance Sept. 1, 2018 - Dec. 31, 2022 Promote computer science as the basis for successful STEM studies along the entire education chain. (CS4MINTS) Nov. 1, 2019 - Oct. 31, 2022 Automatic Detection of Race-Conditions (AuDeRace) Jan. 1, 2016 - Sept. 30, 2021 Recurrent Neuronal Networks (RNNs) for Real-Time Estimation of Nonlinear Motion Models (RuNN) Oct. 1, 2017 - March 31, 2021 Automatic Testing of Compilers (AutoCompTest) Jan. 1, 2018 - Jan. 1, 2021 Parallel code analysis on a GPU (ParCAn) July 1, 2013 - Sept. 30, 2020 Computer Science basics as an essential building block of modern STEM field curricula (GIFzuMINTS) Oct. 1, 2016 - Sept. 30, 2019