Aditya Thakur

Aditya Thakur

Position Title
Assistant Professor

Unit
Computer Science

Academic Surge 2073
Bio
Programming languages, 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.

Tags