Faculty
Dr. Tony Ambler
- ASICS for safety critical applications
- System Testability
- Test Economics
- Network Design
Dr. Adnan Aziz
- VLSI design automation
- Formal Verification
- Sequential Synthesis
- Binary decision diagrams
- Timed/Stochastic systems
- VLSI CAD
Dr. Craig Chase
- Parallel computer architecture
- Software environments for parallel and distributed systems
Dr. E. Allen Emerson
- Formal Methods
- CAD
- Temporal Logic Model Checking
- Concurrent and Distributed Systems
Dr. Donald Fussell
- Computer Architecture and Graphics
- Database Systems
- Design Automation
- Fault-Tolerant Computing
Dr. Ranjit Gharpurey
- High-frequency and high speed circuit design and parasitic noise sources in integrated circuits
- RFIC design for wireless applications
Dr.
Arjang Hassibi
- Biosensors and bioelectronics
- Integrated sensors
- Analog and mixed-signal integrated circuit design
- Biomedical VLSI systems
- DNA and protein integrated microarrays
- Biological noise spectroscopy
Dr. Margarida Jacome
- Design Process Planning and Management
- Design Theory
- Assessment of Design Processes and Design Methodologies
- Hardware/Software Codesign
- Design Reuse
Dr. Lizy Kurian John
- High Performance Processor Architecture
- High Performance Memory Systems
- Novel Cache Designs
- Dynamic Computer Architectures using FPGAs
- Program Behavior Studies
- Optimizing Compilers
Dr. J Strother Moore,
III
- Automatic Theorem Proving
- Hardware and Software Verification
- Formal Methods
Dr. Michael Orshansky
- Robust circuit design techniques
- statistical timing analysis and optimization
- design for manufacturability
- technology modeling and characterization
- low-power circuit design
Dr. David Z. Pan
- Nanometer physical design
- Design for manufacturability and variability
- Low power and thermal aware design
- Vertical integration of architecture, CAD/circuit, and technology
- Design/automation of emerging technologies
Dr. Nur Touba
- Computer-Aided Design
- Testing
- Fault Tolerant Computing
Dr. Baxter
Womack
- Logical Object Tagging Architectures
- Machine Vision Systems
- Cybernetic Systems and Chaos
- Adaptive Robotic Friction
- Multichip Modules Manufacturing
- Analysis of Geophysical Data from Antartic Ice Sheet
Dr. Shouli Yan
- Mixed-signal integrated circuits for communication applications
- low-voltage mixed-signal circuits
- analog-to-digital and digital-to-analog converters
- integrated analog filters