Michael H. Borkowski - Department of Computer Science - Purdue University Skip to main content
Department of Computer Science

Michael H. Borkowski

Assistant Professor of Practice


Joined department: Fall 2024

Education

Ph.D., University of California, San Diego, Computer Science (2024)
M.S., University of California, San Diego, Computer Science (2019)
B.A., Amherst College, Computer Science (2016)

Michael Borkowski earned his PhD from the Department of Computer Science and Engineering (CSE) at the University of California, San Diego. He research interests are in software verification, type theory, and interactive theorem provers. Dr. Borkowski is interested in developing software verification techniques to make correct and performant software systems easier to write and understand, as well as having stronger theoretical soundness guarantees.

Selected Publications

Michael H. Borkowski, Niki Vazou, and Ranjit Jhala, "Mechanizing Refinement Types", 51st ACM SIGPLAN Symposium on Principles of Programming Languages (London, United Kingdom) (POPL 2024). 

Last Updated: Aug 7, 2024 2:27 PM

Department of Computer Science, 305 N. University Street, West Lafayette, IN 47907

Purdue University Indianapolis, 723 W. Michigan St., Indianapolis, IN 46202

Phone: (765) 494-6010 • Fax: (765) 494-0739

Copyright © 2024 Purdue University | An equal access/equal opportunity university | Copyright Complaints | DOE Degree Scorecards

Trouble with this page? Accessibility issues? Please contact the College of Science.