Unique Number: 52615 Class Room Number: Garrison Hall 0.132 Class Time: Tuesday, 4:00 to 7:00 pm Instructor: Warren A. Hunt, Jr. Office Location: Main 2014 Office Hours: Wednesday, 6:00 to 7:30 pm, or by appointment E-mail: email@example.com Co-Instructor: Sandip Ray Office Location: Main 2004 Office Hours: By appointment E-mail: firstname.lastname@example.org
The initial lecture concerns the role of recursion and induction in the development of trusted systems.
We will discuss these notes as the semester progresses.
Return to CS389r course homepage.