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:- Atharva Sehgal (Undergraduate @UIUC → PhD CS @UT Austin)
- Zhengyao Lin (Undergraduate @UIUC → PhD CS @CMU)
- Delu Zhao (Undergraduate @UIUC)
- Shreya Vinjamuri (Undergraduate @UIUC)
- Hrishikesh Balakrishnan (MSc Computer Science @Chennai Mathematical Institute, India → PhD CS @UIUC)
- Parth Thakkar (MS CS @UIUC)
- Shaurya Gomber (MS CS @UIUC)
- Eion Blanchard (PhD Mathematics @UIUC)
- Cody Rivera (PhD CS @UIUC)
- Aaron Councilman (PhD CS @UIUC)
- Zijie Zhao (PhD CS @UIUC)
# Academic Service
- Subreviewer CONCUR 2023
- 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 521 Trustworthy AI Systems (Teaching Assistant) Fall 2023
- 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
- SIGPLAN PAC Grant PLDI 2023
- 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 Fall 2023
- Student volunteer PLDI 2023
- 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.