An Epistemic Logical Framework

    Project: Research

    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.
    AcronymELF
    StatusFinished
    Effective start/end date01/01/201131/08/2011

    Collaborative partners

    Funding

    • Independent Research Fund Denmark: DKK216,000.00

    Keywords

    • Epistemic Logic
    • Logical Frameworks
    • Type theory
    • Electronic Elections
    • Proof assistants