Hire an Illini

Adithya Murali

  • Advisor:
    • Madhusudan Parthasarathy
  • Departments:
  • Areas of Expertise:
    • Logic Learning
    • Program Synthesis
    • Program Verification
  • Thesis Title:
  • Thesis abstract:
    • The overarching focus of my research is to democratize software verification, enabling programmers who are not verification experts to verify their code. I'm intrigued by the idea of making verification technology broadly accessible by lowering the cognitive burden involved in automated software verification. A primary focus of my work is to develop data-driven logic learning techniques (learning logical formulas from data) to replace the expert help currently required in automated software verification.
  • Downloads:

Contact information:
adithya5@illinois.edu