Adithya Murali


I'm Adithya Murali, a PhD student at UIUC working on Neural and Symbolic Learning. Many of my works explore the idea of learning logics and their applications in various domains like program verification and building trustworthy AI systems. I am advised by Madhusudan Parthasarathy.

Previously, I was as an intern with the PROSE team at Microsoft working on low-code/no-code applications. I have also interned with Novi (now Meta Fintech) where I worked on verification and synthesis.

# 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