Alan Mishchenko developed several BDD-based implicit algorithms for image processing, pattern matching, solving combinatorial problems and simulation that use multiple-valued functions, relations and state machines. These algorithms are very general.

If you are interested in these subjects, take Alan's class in Spring 2000. You will learn about BDDs and advanced programming.

Profs. Perkowski, Song, Mishchenko and Chrzanowska-Jeske develop also a self-repairable chip based on a new form of BDDs. If you want to join this project, take Spring class of Dr. Song or Spring BDDs class of Dr. Mishchenko.