Computer Engineering Research Center
Research Unit Profile
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.
Web Site: http://www.cerc.utexas.edu/
Research Unit Affiliated Faculty
Click on a faculty member's name to view the full profile, including any posted projects.
Displaying 1 - 13 of 13 records.
|Abraham, Jacob||Electrical and Computer Engineering||VLSI design and test, Formal verification, Fault-tolerant computing|
|Chase, Craig||Electrical and Computer Engineering||Professor Chase's research is in the area of high-performance computing. The current focus of his research is on-the-fly parallelization of programs. His objective is to develop tools, …|
|Emerson, Ernest||Computer Science||Formal methods, logics and semantics of programs, concurrent and distributed computing.|
|Fussell, Donald||Computer Science||* Computer architecture * computer graphics * VLSI systems design * and database concurrency control|
|Garg, Vijay||Electrical and Computer Engineering; South Asia Institute||Dr. Garg's current research interests are in the areas of distributed systems, discrete event systems and software engineering.|
|Gerstlauer, Andreas||Electrical and Computer Engineering||Embedded computer systems, with a focus on embedded hardware and software co-design and design automation methods at the so-called (electronic) system level. We are specifically targeting the on-chip …|
|Gharpurey, Ranjit||Electrical and Computer Engineering||High-frequency and high speed circuit design and parasitic noise sources in integrated circuits, RFIC design for wireless applications|
|John, Lizy||Electrical and Computer Engineering||Dr. John's current research interests include high performance processors such as superscalar and superpipelined processors, high performance memory systems and caches, low-power design, compiler …|
|Moore, J||Computer Science||Mechanical theorum proving, formal methods of computer architecture, programming languages.|
|Orshansky, Michael||Electrical and Computer Engineering||-Statistical CAD algorithms for design for manufacturability and yield improvement -Robust circuit design in the presence of process variability -Low-power circuit design -Modeling and …|
|Pan, Zhigang||Electrical and Computer Engineering||-Nanometer VLSI physical CAD -Design for manufacturability -Low power design and CAD -Design and CAD of emerging technologies -Vertical integration of architecture, circuit and technology|
|Touba, Nur||Electrical and Computer Engineering||Dr. Touba's research interests are in VLSI testing, On-line test, and fault-tolerant computing. In particular, his research has focused on developing new techniques for test data compression, …|
|Vikalo, Haris||Electrical and Computer Engineering||Dr. Vikalo's current research is in the area of genomic signal processing, at the interface between electrical engineering and genomics. He is particularly interested in the development and …|