Michael Hicks
Professor. Director. Scholar.
I am the Cecilia Fitler Moore Professor and Associate Chair of the Department of Computer and Information Science at the University of Pennsylvania, and the Director of its Schlein Center for Cybersecurity. I am also an Amazon Scholar.
Read More →News
2026-10-21
Schlein Center for Cybersecurity publicly launched
2026-10-20
Paper “Agentic Root Cause Reasoning and Localization of Unsoundness in Static Call Graph Analysis” (with Mohammad Rafieian and
Shiyi Wei) accepted to
ICSE 2027
2026-10-06
Received funding (with
Benjamin Pierce and
Harrison Goldstein) from Renaissance Philanthropy’s
AI for Math Fund for Software Foundations in Lean
2026-08-20
Teaching
Software Foundations, now
in Lean!