Yatin Manerkar

Yatin Manerkar

Assistant Professor, Electrical Engineering & Computer Science (effective Sept. 2021)

Email: WebsiteResearch Interests: Automated formal methods for the specification, design, synthesis, and verification of hardware and software systems; computer architecture; ethical AI.