M
Research Interests
Applications to Computer Security
Asynchronous and Mixed-Timing Circuits and Systems
Emerging Computing Technologies
Energy-Efficient Graphics Hardware
High-Performance and Low-Power Digital Systems
VLSI CAD Tools
Parallel Computing and Optimization Techniques
Low-Power High-Performance VLSI Design
Embedded Systems Design Techniques
Interconnection Networks and Systems
Formal Methods in Verification