CSE
|
ECE
MENU
Search
People
Manerkar, Yatin
Assistant Professor, EECS - Computer Science and Engineering
Research Interests: Formal methods (modeling, verification, and synthesis) for hardware and software, hardware security, memory consistency, cache coherence, concurrency, ethical AI.
Website
Email:
Phone: 734-763-8480
Office: 4816 Beyster Bldg.