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).Ìý