Research Interests:
- Architectures
and Compilers for Embedded Systems
- System specification techniques
- Software/Hardware
synthesis, analysis and verification
- Architectural
exploration for SOC and domain-specific problems
- Low-power/low-energy
analysis and design techniques
- Hardware/software
interfaces for distributed embedded systems
- Computer Aided Design
For
more details on research projects, visit the Projects webpage.