Gowtham Kaki
Assistant Professor

Gowtham Kaki is an assistant professor joining the Department of Computer Science in fall 2020. His research is in the areas of Programming Languages and Formal Methods with a focus on automated verification techniques for concurrent and distributed programs. He received several recognitions for his work, including Google’s PhD Research Fellowship (2018), Purdue’s Maurice H. Halstead Award for Contributions to Software Engineering Research (2018), and his alma mater BITS Pilani’s 30-under-30 award (2019).