Current Students:
 
Hossein M Sheini
Project: Modern SAT Solvers - ARIO - Pueblo
Contact: hsheini@eecs.umich.edu
Web: http://www.eecs.umich.edu/~hsheini
Zaher S Andraus
Project: Abstraction-based Automatic Verification for RTL
Contact: zandrawi@eecs.umich.edu
Web: http://www.eecs.umich.edu/~zandrawi/academic.htm
Yoonna Oh
Project: Constructive logic and layout synthesis - Sequential synthesis and optimization
Contact: yoh@eecs.umich.edu
Elizabeth A Ernst
Project: Constructive Synthesis
Contact: ebroerin@eecs.umich.edu
Former Students:
 
 

Fadi A. Aloul

  Jeffery Bell
  Joonyoung Kim
  Victor Kravets
  Gi-Joon Nam
  Jesse Whittemore
  Timothy Burks
  V. Chandramouli
  Ayman Kayssi
  Michael Riepe
  Joao P. Marques-Silva