- tim.lange at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21206
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:
- IC3/Property-Directed Reachability
- Safety Verification
- SAT/SMT Solving
- Static Program Analysis
| Show all |
|---|