Aditya Thakur

Programming languages, machine learning, automated reasoning, software engineering

The goal of Dr. Thakur's research is to develop explainable and scalable program analysis tools and techniques to improve the reliability and performance of software systems. The nature of software engineering is changing, spurred by the adoption of practical machine-learning systems; this change requires exploring fundamentally new ways of developing, verifying, and deploying software.