Michael H. Borkowski
Assistant Teaching Professor

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.
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).