Researcher: Frank Pfenning
Scope: We are designing and implementing a concurrent distributed programming language with advanced security guarantees. It derives its expressive power from the underlying logic, which incorporates linearity, epistemic modalities, and affirmations that characterize distributed possession, knowledge, and authorization. This is a continuation of last year’s seed grant, which has achieved highly promising preliminary results.
Outcomes: We have published several papers, and plan to start work on a prototype implementation this year, hoping to demonstrate feasibility.