- anton.wijs at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21206
I am a post-doctoral researcher at the RWTH Aachen University in the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen. My research interests include:
- Model Checking
- (Directed) Explicit State Space Traversal and Generation
- Distributed / Multi-core / GPGPU / Grid Computing
- (Timed) Process Algebra