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鈥檚 PhD Research Fellowship (2018), Purdue鈥檚 Maurice H. Halstead Award for Contributions to Software Engineering Research (2018), and his alma mater BITS Pilani鈥檚 30-under-30 award (2019).听