Alberto L. Sangiovanni-Vincentelli

• Synthesis of finite state machines
• Cross-talk noise immune VLSI design using regular layout fabrics
• Function/architecture optimization and co-design of embedded systems
• Languages and tools for hybrid systems design
• Noise analysis of radio frequency circuits
• Synchronous equivalence
• Synthesis of finite state machines
• Algorithms for Synthesis and Testing of Asynchronous Circuits
• Hybrid Systems : Computation and Control