Secure Data-Intensive Applications through Automatic Formal Reasoning
Speaker: Gowtham Kaki, Purdue University
Location: 60 Fifth Avenue 150
Date: March 11, 2020, 2 p.m.
Host: Michael Overton
Gowtham Kaki is a post-doctoral researcher at Purdue University. He completed his Ph.D at Purdue in August 2019 under the supervision of Prof. Suresh Jagannathan. 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).
Refreshments will be offered starting 15 minutes prior to the scheduled start of the talk.