Adithya Murali

Adithya Murali is an Assistant Professor at the University of Wisconsin-Madison's Department of Computer Science. His research focuses on Formal Methods and Programming Languages, specifically democratizing software verification through data-driven logic learning and neuro-symbolic approaches. He holds a Ph.D. from the University of Illinois at Urbana-Champaign (UIUC), advised by P. Madhusudan Parthasarathy.

• Education: Ph.D. in Computer Science (UIUC, 2024), B.Tech. from BITS-Pilani (2017)
• Roles: Subreviewer for PLDI, CONCUR, ICALP, and LICS; Teaching Assistant for courses in Logic, Compilers, and Trustworthy AI

His research interests center on reducing the cognitive burden of software verification, enabling non-experts to verify code through innovative techniques like logic learning from data. Cross-disciplinary work integrates machine learning with symbolic reasoning, exemplified in projects like the CLEVR VDP Dataset and GQA VDP Dataset for visual discrimination puzzles.

Recent publications span formal verification frameworks (e.g., FO-Complete Heap Logics), neuro-symbolic systems, and automated reasoning. His work has received the ACM Europe Best Paper Award (OOPSLA 2023).

• Awards: Ray Ozzie Fellowship (2018), Gold Medal (BITS-Pilani 2017), INSPIRE Scholarship (2012-2016)
• Grants: UIUC Travel Grants, SIGPLAN Funding

He advises students across UIUC and UW-Madison, focusing on program synthesis, verification, and AI integration. Collaborations include the Formal Methods Seminar at UIUC and volunteer roles at major conferences.