Adithya Murali

Welcome!

I'm Adithya Murali, an Assistant Professor at the University of Wisconsin-Madison working on Formal Methods and Programming Languages. I did my Ph.D. at UIUC with Madhusudan Parthasarathy. Broadly speaking, I work on program verification and program synthesis.

 

I am actively looking for students to work with, so do reach out to me if you like my research!

 

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.

 

More generally, I also in the area of program synthesis, and have a big interest in exploring questions at the intersection of symbolic synthesis and machine learning (e.g., "Neuro-Symbolic" learning).

adithyamurali@cs.wisc.edu  
        

# On My Team

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

# Academic Service

# Teaching

UIUC

BITS-Pilani, Hyderabad

# Awards

# Other Academic Activities