Hire an Illini
Keyur Joshi
- Advisor:
- Sasa Misailovic
- Departments:
- Areas of Expertise:
- Compilers
- Formal Verification
- Testing
- Program Analysis
- Thesis Title:
- Compositional Analysis of the Effects of Uncertainty on Computations
- Thesis abstract:
- Downloads:
Contact information:
kpjoshi2@illinois.edu