Hire an Illini

Xiaohong Chen

• Advisor:
  • Grigore Rosu
• Departments:
  • Computer Science
• Areas of Expertise:
  • Programming Languages
  • Formal Methods
• Thesis Title:
  • Matching Logic
• Thesis abstract:
  
• Downloads:

Contact information:
xc3@illinois.edu