An Epistemic Logical Framework
- ,
- Frank Pfenning(CoI)
- Carnegie Mellon University
Project:
Research
Project status
Finished
Description
The goal of the eight month research visit with Prof. Frank Pfenning, Prof. Karl Crary, and Prof. robert Harper at Carnegie Mellon University (CMU) is to develop an epistemic logical framwork for reasoning formally about specifications and implementations of electronic voting systems.
Project Information
Project Type
Research
Project Collaborators
- Carnegie Mellon University
Acronym
ELFTime Period
01/01/2011 – 31/08/2011Status
FinishedID
External Project ID: 10-093084
Funding Details
An Epistemic Logical Framework (Rejsemidler)Award
FundersAmounts
Independent Research Fund Denmark
216000 DKK