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