Email

shahid.khan at cs.rwth-aachen.de

Address

Room 4205
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21212

Research

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.