![]() | ![]() |
EECS 149
Contents
Lectures
Reading |
LogisticsCredit: EECS 149 is a 4 unit course. Prerequisite: EECS 20, EECS 61C, EECS 70 or Math 55Instructor:
Sanjit A. Seshia Office hours: MW 2:30 - 3:30 pm and by appointment. GSI:Wenchao Li - wenchaol (at) eecs (dot) berkeley (dot) edu, Office hours: During lab sessions and Fri. 2:15 - 3:15 pm in the lab. Class Meetings: Mondays and Wednesdays, 1-2:30 PM, in 293 Cory. Other Materials: Relevant literature will be made available on the web whenever possible, and copies of essential papers will be distributed when web-based distribution is not possible. However, you are expected to make extensive use of supplementary references. Requirements:
Grading Breakdown: (Tentative: subject to change!):
|