Research interests

My research focuses on reachability analysis for linear hybrid systems based on flowpipe construction. I am developing a C++ library for state set representations in the context of the project HyPro, which is also available at github. Furthermore I am interested in SMT-solving, where I am contributing to the development of SMT-RAT by maintaining the Interval Constraint Propagation (ICP) module.