UIUC Logo

Home

Administrivia

Overview

Schedule

Problem Sets

Resources

Archives
2012
2014

People Involved

Sayan Mitra
Lecturer
mitras at illinois.edu
Phone: 333-7824
Office: CSL 266


Spring 2016

ECE/CS 584: Embedded & Cyber-physical System Verification

Announcements

April 21 Guest Lecture by Jim Lenz
April 19 C2E2 Tutorial by Chuchu Fan
April 18 Homework 4 released here
Mar 8 Homework 3 released here
Feb 20 Homework 2 released here
Feb 8 Draft chapters 2-4 now available here
Feb 1 Homework 1 released here
Jan 26 Remember project proposal (2 page) due Feb 4 (next week)
Jan 19 First class, project ideas handout given in class
Jan 10
New course flier available here.