Michael A. Warren

Home

Research interests

My current research focus is on the safety and security of machine learning algorithms and autonomous systems. See my LinkedIn page for more details of what I've been up to recently.

My earlier research was 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

Control Theory

Adversarial Machine Learning

Machine Learning Safety and Robustness

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