Gowtham Kaki

Main Navigation

  • About
  • Blog
  • Publications
  • Research

Csci7000_announcement

Posted on October 27, 2020 by in

New course announcement (Spring 2021): CSCI7000 - Distributed Systems Verification.

  • Gowtham Kaki
  • Assistant Professor
  • gowtham.kaki@colorado.edu

Department of Computer Science,
University of Colorado,
Boulder, CO 80309

  • Github
  • Twitter