Projects
The Dependable Systems Group is associated with a number of projects.
Long Term Research
- The Integration and Interaction of Multiple Mathematical Reasoning Processes.
- Lab for AI and Verification
- Limits to Computability
- Hume Language
- Glasgow parallel Haskell(GpH) programming Language
- Glasgow distributed Haskell(GdH) programming Language
- SaC Language
- S-Net Language
- The PSGraph tactic language
- Tacny: a tactic language for the Dafny program verifier
Current Projects
- Coarse Approximator Compilation (EPSRC EP/P010946/1)
- BorderPatrol: Improving Smart Device Security through Type-Aware Systems Design (EPSRC EP/N028201/1)
- TyTra: Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems (EPSRC EP/L00058X/1)
- The Jomini Engine: A Serious Game Engine across Learning Domains (SICSA Research Challenge Grant)
- Rathlin: Programmable embedded platforms for remote and compute intensive image processing applications (EPSRC EP/K009931/1)
- The Integration and Interaction of Multiple Mathematical Reasoning Processes (EPSRC EP/N014758/1)
- DTacs – Program Verifier Tactics : Reducing the Development Time for Program Verifiers with re-usable Verification Strategies (EPSRC EP/M018407/1)
Recently Completed Projects
- Coalgebraic Logic Programming for Type Inference (EPSRC EP/K031864/2 )
- The Integration and Interaction of Multiple Mathematical Reasoning Processes (EPSRC EP/J001058/1)
- RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software
- AI4FM: Using AI to aid automation of proof search in formal methods
- The Development of Rigorous Methods for the Design of Complex Systems, in line with Military and Civil standards for Complex Hardware and Software (EPSRC and BAE Systems Ltd)
- ADVANCE: Asynchronous and Dynamic Virtualisation through performance ANalysis to support Concurrency Engineering
- REMO: A cognitive model of axiom formulation and reformulation with application to AI and software engineering (EPSRC EP/F037058)
- HPC-GAP: Parallel symbolic computation (EPSRC P/G05553X)
- CALCIUM: Computer Algebra on Cloud Infrastructures
- CORE: Cooperative Reasoning for Automatic Software Verification
- The SCIEnce project (Symbolic Computation Infrastructure for Europe)
- Islay: Adaptive Hardware Systems with Novel Algorithmic Design and
Guaranteed Resource Bounds - Embounded: Automatic Prediction of Resource Bounds for Embedded Systems
- CO-STAR*
- Haptic Interfaces for the Virtual Manufacture and Assembly of Micro, Medium and Large Scale Products
- PAMGUARD
- High Level Techniques for Distributed Telecommunications Software
- Embedded Software for Autonomous Vehicle Control using Optical Sensing
- High Level Programming for Computational Grids
- SPADEase: Towards Increased Verification Automation for High Integrity Software Engineering
- DAIDALOS Designing Advanced network Interfaces for the Delivery and Administration of Location independent, Optimised personal Services
- Automatic Guidance for the Formal Verification of High Integrity Ada
- OPHELIA: Open Platform and metHodologies for devELopment tools IntegrAtion
- Socio-Technical Systems Design
- Evaluating Functional Distribution
- Performance Evaluation of Parallel Functional Programs
- Systems Reengineering Patterns
- Functional Distributed Interactive Systems
- Parallelising Compilation of Standard ML through Prototype Instrumentation and Transformation