معرفی
Gowtham Kaki is an Assistant Professor in the Department of Computer Science at the University of Colorado Boulder. His research focuses on the intersection of Programming Languages, Formal Methods, and Distributed Systems, with emphasis on automated verification techniques for concurrent and distributed programs.
- Education: Purdue University (PhD), BITS Pilani (Bachelors)
- Research Interests: Programming Languages, Formal Methods, Distributed Systems, Security, and AI
- Teaching: CSCI 3155 (Principles of Programming Languages), CSCI 7000 (Principles of Functional Programming), CSCI 5535 (Foundations of Programming Languages), and CSCI 7000 (Distributed Systems Verification)
His work has produced 15 recent publications in verification techniques for distributed systems, including runtime-assisted convergence, CRDTs, and cryptographic secrecy. He has also received multiple awards including Google's PhD Fellowship and BITS Pilani's 30-under-30 recognition.
He actively collaborates with the CUPLV research group and serves on program committees for OOPSLA, PLDI, and PaPoC conferences. His GitHub repositories demonstrate technical contributions in OCaml, taint analysis, and Z3 SMT integration.
