Michael Kenneally, PhD
Principal and Chair, School of Irish Studies
Ph.D. (University Henri Poincare Nancy I, 1996)
Hardware specification and verification;Formal methods;VLSI design automation
Digital Design (COEN313)
Computer Architecture (COEN316)
Functional Hardware Verification (COEN413/COEN6541)
Cross Layer analysis of Cyber Physical Systems.