MENU
Search
EECS
EECS
Computer Science and Engineering
CSE
Electrical and Computer Engineering
ECE
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.