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