|
|
Research Grants
- Grad4HOProb: Graded Modal types for Quantitative Analysis of Higher-Order Probabilistic programs
PI, ARIA, Dominic Orchard (Co-I), ~£226K, 2024-2025
- TYPDSEC: Type-based information declassification and its secure compilation
PI, EPSRC, ~£160K, 2023-2025
- ML4CI: Machine Learning based Causal Inference for Cybersecurity
PI, DSTL, Marek Grzes (Co-I), ~£81K, 2023 (6 months)
- COVERT: Safe and Secure Concurrent Programming for Advanced Architectures
Co-I, EPSRC, Mark Batty (PI), ~£374K, 2023-2026
|