Contact

Instructor

  • Ranjit Jhala rjhala+230@eng.ucsd.edu

Teaching Assistants

  • Michael Borkowski mborkows+230@eng.ucsd.edu
  • Lisa Huang r6huang+230@ucsd.edu
  • Matt Kolosick mkolosick+230@eng.ucsd.edu
  • George Sakkas gsakkas+230@eng.ucsd.edu