GradNova

F

Frank Pfenning

Professor

Computer Science, Carnegie Mellon University

Research Interests

Access Control and Trust

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Security and Verification in Computing

Distributed Systems and Fault Tolerance

Academic Metrics

Links

Grants