Adithya Murali


I'm Adithya Murali, a Ph.D. candidate at UIUC working with Madhusudan Parthasarathy. My primary area of research is programming languages, and I work broadly on program verification and program synthesis.


I am on the academic job market for positions starting in Fall 2024!
Here are my materials: CV, Research Statement, Teaching Statement, and Diversity Statement.


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.


I have strong values for teaching, mentorship, and leadership. I view myself as a mentor and collaborator in my students' intellectual journeys and derive value from being a part of their transformation. My long-term goal as a teacher is to foster a fair and inclusive classroom environment where only effort and mastery of the material influence a student's course performance. My teaching statement describes this vision in more detail.

I also care deeply about improving mental health. I focus a lot on helping my students develop awareness about how to tackle their struggles by teaching them to develop a vocabulary to express their issues. If you want to read more about my thoughts here, check out my diversity statement.  

# On My Team

Here is a non-exhaustive list of many talented individuals I have had the pleasure of working with:

# Academic Service

# Teaching


BITS-Pilani, Hyderabad

# Awards

# Other Academic Activities