Faculty
Dr. Deji
Akinwande
- Integrated Circuits & Systems
- Solid-State Electronics
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. Vijay Garg
- Distributed Systems
- Discrete Event Systems
- Software Engineering
Dr. Andreas Gerstlauer
- Embedded Systems
- Electronic System-Level Design (ESL/SLD)
- System Modeling, Design Languages and Methodologies
- Embedded Hardware and Software Synthesis
Dr. Ranjit Gharpurey
- High-frequency and high speed circuit design and parasitic noise sources in integrated circuits
- RFIC design for wireless applications
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. Nan Sun
- Analog, mixed-signal, and RF integrated circuits
- Miniature nuclear and electron spin resonance systems
- Micro- and nanoscale solid-state platforms
- Low-cost medical imaging systems
- Electromagnetic sensors
Dr. Nur Touba
- Computer-Aided Design
- Testing
- Fault Tolerant Computing
Dr. Haris Vikalo
- Biomedical Engineering
- Communications, Networks, and Systems (CommNetS)