Welcome to the Computer Engineering Research Center (CERC)
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.