Yatin Manerkar

Yatin Manerkar is an Assistant Professor in the Department of Computer Science and Engineering at the University of Michigan. His research focuses on formal methods for ensuring correctness in computing systems, particularly in hardware and software verification. He holds a PhD from Princeton University and has conducted postdoctoral research at UC Berkeley. His work has led to significant contributions in verifying memory consistency models, hardware security, and cache coherence protocols.

**Education:**

• PhD in Computer Science, Princeton University (Advisor: Margaret Martonosi)
• M.S. in Computer Science and Engineering, University of Michigan
• BASc in Computer Engineering, University of Waterloo

**Research Interests:**

Manerkar's research bridges computer architecture and formal methods. He develops automated techniques for verifying and synthesizing computing systems, targeting emerging hardware like heterogeneous processors. Key areas include memory consistency models, security vulnerabilities (e.g., Meltdown/Spectre variants), and ethical AI implications of hardware design.

**Awards & Recognition:**

• ACM SIGARCH/IEEE CS TCCA Outstanding Dissertation Award Honorable Mention (2021)
• Best Paper Nomination (FMCAD 2022)
• IEEE Micro Top Picks Honorable Mentions (2023, 2021, 2018)
• Heidelberg Laureate Forum Participant (2019)

**Advising & Teaching:**

Manerkar advises PhD and undergraduate students on formal verification and hardware-software co-design. He has taught courses on parallel computer architecture and formal verification at the University of Michigan.