Rajesh Kumar Gupta

1961

• Co-synthesis of hardware and software for digital embedded systems
• Formal methods and models for system design