Instructor

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

Teaching Assistants

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

---