Projects

Running research projects

UnRAVeL: UNcertainty and Randomness in Algorithms, VErification and Logic (Research Training Group)
European Network for Gender Balance in Informatics (COST Action CA19122)
SMT-RAT: SAT-Modulo-Theories Real Arithmetic Toolbox
CArL: Computer ARithmetic Library
Safety Verification for Mixed Discrete-Continuous Automotive systems (industrial project with Ford)
Digitalization and Energy Optimization in Buildings using Artificial Intelligence (BMWi/DEOKI industrial project with MeteoViva)
ARC: Automated Reasoning in the Class (EU Erasmus+ project, KA203 – Strategic Partnerships for Higher Education)
Embedding Machine Learning within Quantifier Elimination Procedures

Previous research projects

CAP Sino-German Project
SC-Square: Satisfiability Checking and Symbolic Computation (H2020-FETOPEN CSA)
Optimizing the Performance of Robot Fleets in Production Logistics Scenarios using SMT (RWTH Seed Funds)
Simulink Formal Verification (industrial project with Ford)
HyPro I: A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations (German Research Council)
HyPro II: A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations (German Research Council)
SMT4ABS: Combining SMT Solving with Type Checking for Real-Time ABS Programs (DAAD ppp)
OASys: Online Algorithms for Optimal Control of Hybrid Propulsion Systems (German Research Council)
CEBug: Counter Example Generation for Stochastic Systems using Bounded Model Checking (German Research Council)
HySmart: Hybrid Systems Modeling and Analysis with Rewriting Techniques (DAAD ppp)
AlgoSyn: Algorithmic synthesis of reactive and discrete-continuous systems (Research Training Group)
ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (Dutch-German Bilateral Cooperation Program)