Dr. Adithya Murali

Biography

Adithya Murali is an Assistant Professor at the University of Wisconsin-Madison, specializing in Formal Methods and Programming Languages. He completed his Ph.D. at the University of Illinois at Urbana-Champaign. His research focuses on program verification and program synthesis, with the overarching goal of democratizing software verification. By developing data-driven logic learning techniques, he aims to make verification technology more accessible to programmers, thereby reducing the cognitive burden associated with automated software verification. His interests also explore the intersection of symbolic synthesis and machine learning, particularly in the area of 'Neuro-Symbolic' learning. Throughout his academic career, he has contributed to various research activities and served on multiple committees, including as a subreviewer for prestigious conferences such as PLDI and ICALP. Adithya has been actively involved in teaching at UIUC and BITS-Pilani, imparting knowledge on trustworthy AI systems and programming languages.

Research Interests

Experience

Awards