Projects
From PLSwiki
- CHOReography Driven programming and Security (CHORDS)
- Trustworthy Democratic Technology (DemTech)
- Bigraphical Programming Languages (BPL)
- Big Red
- Computer Supported Mobile Adaptive Business Processes (CosmoBiz)
- Logosphere
- Modular Reasoning about Software (MOREASO)
- Tools and Methods for Scalable Software Verification (TOMESO)
- MT-Lab VKR Centre of Excellence
- The Grambiguity Project (Analyzing Ambiguity of Context-Free Grammars)
- The ML Kit
- SMLserver
- TrustCare
- Twelf
- The XSugar Project (Dual syntax for XML languages)
- Banana Algebra (Syntactic Language Extension via an Algebra of Languages and Transformations)
- The LifeFlow Project (DSL for Programming Interactive Processes)
- MOBIUS (Mobility, Ubiquity and Security) Enabling proof-carrying code for Java on mobile devices (EU FP6, 2005-2009)
- CHARTER (Critical and High Assurance Requirements Transformed through Engineering Rigour) - An ARTEMIS Embedded Computing Systems Initiative project (EU FP7, 2009-2011)
- SenseTile Large-scale experiments with complex multimedia sensing and processing at terabyte scales (SFI, 2009-2010)
- Votail Formal specification and verification of elections
- FReSH - Verified self-healing systems
