Current Research Activities:

• Modeling and Analysis of Biological Networks
• System-Level Timing Analysis and Verification

Past Research Activities:

• Synthesis and Technology Mapping of Asynchronous Circuits
• Mixed Analog/Asynchronous VLSI Implementations of Communications Systems
• High-level Synthesis of Asynchronous Systems
• Asynchronous Circuit Design