Maximilian R. Odenbrett

Maximilian R. Odenbrett was a PhD student at Eindhoven University of Technology (2010–2011), collaborating with RWTH Aachen University's MOVES group. His research focused on Efficient Multi-Core Model Checking, leveraging NVIDIA's CUDA for parallel processing on GPGPUs. He specialized in formal methods, stochastic model checking, and parallel programming for multi-core systems.

Education: Diplom-Informatiker (Computer Science) from RWTH Aachen University (2004–2010), with a minor in Psychology.

Research Interests: Development of parallel algorithms for formal verification, application of GPUs in bioinformatics (e.g., biological network analysis), and model-based analysis of software systems. His work bridges theoretical formal methods with practical parallel computing solutions.

Publications: Focused on applying GPGPUs to model checking and bioinformatics problems, as seen in his BMC Bioinformatics paper (2012) and conference contributions on AADL specification analysis (2010). His research emphasizes scalability and efficiency in computational systems.

Affiliations: Collaborated with Prof. Joost-Pieter Katoen's MOVES group at RWTH and Prof. P.A.J. Hilbers' BMI group at TU Eindhoven. His work contributed to the EMCMC project on multi-core model checking.