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.

 

  • University of Illinois at Chicago, Master of Science in Computer Science, 2005
  • Institute of Software, Chinese Academy of Science, Master of Engineering in Computer Engineering, 2000
  • Wuhan University, Bachelor of Science in Computer Science, 1997

 

  • Xiaodong Wang, Master Thesis: "Checking Extended CTL properties Using Guarded Quotient Structures", defended on Jan 11, 2005 (thesis and slides available in PDF)
  • A. Prasad Sistla, Min Zhou, Xiaodong Wang "Model Checking of Systems Employing Commutative Functions" in Verification,Model Checking and Abstract Interpretation, VMCAI 2005, Jan 17-19, 2005 ,Paris, France(full version available here in PDF)
  • A. Prasad Sistla, Xiaodong Wang, Min Zhou "Checking Extended CTL properties Using Guarded Quotient Structures" in Software Engineering and Formal Methods, SEFM 2004, Sep 28-30, 2004, Beijing, China(available here in PDF)

 

I was a software developer and tester in the Wireless Department of Lucent Tech. China form 2000 to 2002.