Michael H. Borkowski

Michael H. Borkowski is an Assistant Teaching Professor in the Department of Computer Science at Purdue University. He earned his Ph.D. from the University of California, San Diego (UCSD), specializing in software verification, type theory, and interactive theorem provers. His research focuses on developing techniques to ensure software correctness and performance through formal methods.

• Ph.D., UCSD Computer Science (2024)
• M.S., UCSD Computer Science (2019)
• B.A., Amherst College Computer Science (2016)

His research interests include refinement types, functional programming, and mechanizing proofs. Recent work emphasizes software verification tools (e.g., the 2024 POPL publication on refinement types). Earlier contributions span plant biology and applied mathematics, including studies on auxin gradients and wood grain modeling.

Notable awards include the Computer Science Prize and Phi Beta Kappa from Amherst College.

Teaching roles include courses at UCSD (e.g., CSE 20 Discrete Mathematics) and Purdue. He was affiliated with UCSD’s ProgSys Group during his Ph.D.