Instructor

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

Teaching Assistants

• Rose Kunkel wkunkel+230@eng.ucsd.edu
• Rami Gokhan rkici+230@eng.ucsd.edu
• Michael Borkowski mborkows+230@eng.ucsd.edu

---