The SEES Lab

Research for Secure, Efficient, and Evolvable Computing Systems

EEL 6764 Principles of Computer Architecture Fall, 17/18/19;   Spring, 18
CIS 4930/EEL 6706 VLSI Testing and Fault Tolerant Design Spring, 16/19
CIS 4930/6930 Principles of Cyber-Physical Systems Fall, 19;   Spring, 14
CIS 4930/6930 Hardware/Software Co-Design Spring 2020
CIS 4930/6930 System-on-Chip Design Spring 2016
CIS 4930/6930 Intro. Embedded Systems (renamed to Principles of Cyber-Physical Systems) Spring, 2012
CDA 5416 Computer System Verification Spring, 2008/2011/2015/Fall, 2009/2013/2015/2018
CDA 4253 FPGA System Design Spring, 10/11/17/19; Fall, 06/08/15; Summer, 16/18
COT 3100 Intro. Discrete Structures Fall, 2007/2011/2012/2014
CDA 3103 Computer Organization Fall, 2011/2012/2013/2014
CDA 3201/3201L Digital Logic Design Fall, 2010
CIS 4930 Design Automation Spring, 2009
CIS 6930/4930 Computer-Aided Verification Spring, 06/07
CIS 4930 FPGA Design Fall, 2004/2005,
CIS 6930 Asynchronous Circuit Design Spring, 2005