Project Details
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.
Acronym | ELF |
---|---|
Status | Finished |
Effective start/end date | 01/01/2011 → 31/08/2011 |
Collaborative partners
- IT University of Copenhagen (lead)
- Carnegie Mellon University (Project partner)
Funding
- Independent Research Fund Denmark: DKK216,000.00
Keywords
- Epistemic Logic
- Logical Frameworks
- Type theory
- Electronic Elections
- Proof assistants