Manerkar, Yatin

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. WebsiteEmail: Phone: 734-763-8480Office: 4816 Beyster Bldg.