Skip to content

Home
About
- Mission
Research
People
News
Partnerships
Resources
Contact

People Categories: Formal Methods for Security

Franz Franchetti

Franz Franchetti

Associate Dean for Research, College of Engineering

Electrical and Computer Engineering at
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

QCiT Center is supported by the National Science Foundation.

© 2026 QCIT | Admin Login

Site by Pendari