Projektdetaljer
Beskrivelse
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.
| Akronym | ELF |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/01/2011 → 31/08/2011 |
Samarbejdspartnere
- IT-Universitetet i København (leder)
- Carnegie Mellon University (Projektpartner)
Finansiering
- Danmarks Frie Forskningsfond: 216.000,00 kr.
Emneord
- Epistemic Logic
- Logical Frameworks
- Type theory
- Electronic Elections
- Proof assistants