About Me

Research interests:
software validation, testing, test generation
cyber physical system modeling, testing and verification

In my spare time you can find me doing one of these things:
Scuba Diving - Skydiving - Skiing & Snowboarding