Dimitri Bohlender

Research Associate

Formal Methods | Modelling & Verification

I am a PhD candidate in Computer Science at Informatik 11 - Embedded Software, RWTH Aachen University, and about to finish it in 2020.

Since I value authenticity, this site serves as both a portfolio and a personal website.