Yatin Manerkar
Assistant Professor, Electrical Engineering and Computer Science
Email: Phone: 734-763-8480Office: 4816 Beyster Bldg.WebsiteResearch Interests: Formal methods (modeling, verification, and synthesis) for hardware and software, hardware security, memory consistency, cache coherence, concurrency, ethical AI.