Michael A. Warren

Home

Welcome to my webpage! Here you can find more information about me and my research.

Research interests

My research is in algebra (category theory and homotopical algebra), logic (categorical logic and type theory), and mathematical foundations of computer science (logic in CS and formal verification).

Research

Below you will find, organized roughly by research area, an assortment of links to my papers, preprints and other notes. Preprint versions may differ from journal versions.

Category theory and homotopical algebra

Type theory

Mathematical logic and topos theory

About

Here you can find my contact and biographical information.

Contact information

maw@mawarren.net

Previous academic positions

Education

Nationality

USA

Photograph

Portrait