Generate a tailored SOP for Dr. Michael Borkowski. Improve your application with a focused, well-structured draft.
Michael Borkowski earned his PhD in Computer Science from the University of California, San Diego, where he also obtained his M.S. in the same field. He completed his undergraduate studies in Computer Science at Amherst College. His research focuses on software verification, type theory, and interactive theorem provers. Dr. Borkowski is passionate about developing software verification techniques that make correct and performant software systems easier to write and understand, emphasizing stronger theoretical soundness guarantees. He aims to contribute to the field by providing tools and methodologies that enhance the reliability of software development. As an Assistant Teaching Professor in the Department of Computer Science at Purdue University, he is actively involved in both teaching and innovative research.
GRE is not required.