Xiaodong Wang Graduate Student Concurrent Software Systems Laboratory Department of Computer Science University of Illinois at Chicago Office:1130 SEO Lab: 2054 ERF Phone: 312-413-2103 Email: xwang1@cs.uic.edu |
||
I have been working with Professor Sistla on model checking of concurrent system using symmetry reduction method since 2003. My research interest includes software model checking and formal verification of security mechanisms such as Role-Based Access Control.
|
||
|
||
|
||
I was a software developer and tester in the Wireless Department of Lucent Tech. China form 2000 to 2002.
|
||
|