Adithya Murali

Welcome!

I'm Adithya Murali, a PhD student at UIUC working on synergies of Learning and Reasoning. Many of my works explore the idea of learning logics and their applications in various domains like program verification and AI. 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

UIUC

BITS-Pilani, Hyderabad

# Awards

# Other Academic Activities