Contact

Instructor

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

Teaching Assistants

  • Michael Borkowski mborkows+230@eng.ucsd.edu
  • Lana Gaspariani lgaspari+230@eng.ucsd.edu