Sudipta Kundu

• High-Level Verification
• Anatomy and Physiology