Alejandro Carbonara
(PhD student)
Amit Datta
(PhD student)
Raj Gupta
(MS student)
Gihyuk Ko
(PhD student)
Sophia Kovaleva
(PhD student)
Klas Leino
(PhD student)
Piotr Mardziel (postdoc)
Shayak Sen
(PhD student)
Ryan Wagner
(PhD student)
Samuel Yeom
(PhD student)

Projects

Papers

Code

Resources

Conferences / Workshops

  • FATML
  • CSF
  • POST
  • NDSS
  • S&P
  • CCS

Data

  • SF OpenData
  • Code for Pittsburgh