The Computer Engineering Research Center at the University of Texas at Austin is one of the leading research centers in the country. Research is currently being carried out in the fields of VLSI Testing and Design for Testability, Formal Verification, Design and Evaluation of Fault-Tolerant Systems, Sequential Synthesis, Binary decision diagrams, Timed/Stochastic systems, VLSI CAD/ Design Automation, Distributed Systems, Computer Architecture, Software Engineering and several other key areas. Homepages of individual CERC faculty members usually have a selected listing of the professor's published work. Dr. Jacob Abraham is the Director of the CERC.