Welcome!
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:- Atharva Sehgal (Undergraduate @UIUC → PhD student @UT Austin)
- Zhengyao Lin (Undergraduate @UIUC → PhD student @CMU)
- Delu Zhao (Undergraduate @UIUC)
- Shreya Vinjamuri (Undergraduate @UIUC)
- Hrishikesh Balakrishnan (MSc Computer Science @Chennai Mathematical Institute, India)
- Parth Thakkar (MS CS @UIUC)
- Shaurya Gomber (MS CS @UIUC)
- Eion Blanchard (Ph.D. Mathematics @UIUC)
- Cody Rivera (Ph.D. CS @UIUC)
# Academic Service
- Subreviewer ICALP 2023
- Subreviewer LICS 2022
- Artifact Evaluation Committee PLDI 2022
- Artifact Evaluation Committee POPL 2022
- Student Committee Chair, Department of Mathematics, BITS-Pilani, Hyderabad Academic Year 2015-16
# Teaching
UIUC
- CS 474 Logic in Computer Science (Teaching Assistant) Spring 2023
- CS 421 Programming Languages and Compilers (Teaching Assistant) Fall 2020
- CS 421 Programming Languages and Compilers (Teaching Assistant) Spring 2020
- CS 421 Programming Languages and Compilers (Teaching Assistant) Fall 2019
BITS-Pilani, Hyderabad
- MATH F112 Linear Algebra and Complex Variables (Teaching Assistant) Spring 2013
- MATH F112 Linear Algebra and Complex Variables (Teaching Assistant) Spring 2014
# Awards
- UIUC Graduate College Spring 2020 Conference Travel Grant ESOP 2020 (unclaimed)
- SIGPLAN PAC Grant POPL 2020
- Ray Ozzie Fellowship, Department of Computer Science, UIUC 2018
- Gold Medal, BITS-Pilani Hyderabad Graduating Batch of 2017
- INSPIRE Scholarship, Government of India Academic Years 2012-2016
# Other Academic Activities
- Coordinator, Formal Methods Seminar, UIUC Spring 2023
- Student volunteer IJCAI 2022
- Student volunteer POPL 2022
- Student volunteer POPL 2020
- I was the scribe for Dagstuhl Seminar 19361 on 'Logic and Learning'. You can read the report here.