Hire an Illini
Xiaohong Chen
- Advisor:
- Grigore Rosu
- Departments:
- Areas of Expertise:
- Programming Languages
- Formal Methods
- Thesis Title:
- Matching Logic
- Thesis abstract:
- Downloads:
Contact information:
xc3@illinois.edu
Contact information:
xc3@illinois.edu