Laboratory for Foundations of Computer Science

Phone+44 (0)31 650 5132
Email[email protected]
Websitehttps://web.inf.ed.ac.uk/lfcs

Postal addressShow on map
United Kingdom

8 Active
115 Finished

1 - 50 out of 115 results

Filter

Finished

Benchmarking Quantum Advantage
Garcia-Patron Sanchez, R. (Principal Investigator) & Guo, H. (Co-investigator)
1/06/23 → 31/03/25
Project: Research
IceCert: Provenance and temporal data management for digital calibration certificates
Cheney, J. (Principal Investigator)
31/03/23 → 30/06/24
Project: Research
Quantum Software for a Digital Universe
Wallden, P. (Principal Investigator)
13/03/23 → 12/03/25
Project: Research
Improved Semantics for Dependently Typed Pattern Matching
Kammar, O. (Principal Investigator)
1/01/23 → 31/12/24
Project: Research
New Generation of Graph Query Languages
Libkin, L. (Principal Investigator)
1/09/22 → 29/02/24
Project: Research
CSO RARC-19 Testing and Contact Tracing
Waites, W. (Principal Investigator)
1/05/20 → 31/10/20
Project: Research
Paracrawl 3: Continued Web-Scale Provision of Parallel Corpora for European Languages
Koehn, P. (Principal Investigator), Heafield, K. (Co-investigator) & Waites, W. (Researcher)
EU government bodies
1/10/19 → 30/09/21
Project: Research
CHANCELLORS FELLOWSHIP - Yang Cao
Cao, Y. (Principal Investigator)
1/09/18 → 31/08/23
Project: Research
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A. (Principal Investigator), Aspinall, D. (Co-Investigator (External)), Colton, S. (Co-Investigator (External)), Fleuriot, J. (Co-Investigator (External)), Gow, J. (Co-Investigator (External)), Grov, G. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)), Jackson, P. (Co-Investigator (External)), Mcneill, F. (Co-Investigator (External)), Michaelson, G. (Co-Investigator (External)) & Smaill, A. (Co-Investigator (External))
EPSRC
1/11/15 → 31/10/19
Project: Research
SynthSys-Mammalian: Edinburgh Mammalian Synthetic Biology Research Centre
Rosser, S. (Principal Investigator), Bird, A. (Co-investigator), Cai, Y. (Co-investigator), Earnshaw, B. (Co-investigator), Millar, A. (Co-investigator), Molina, N. (Co-investigator), Pilizota, T. (Co-investigator), Swain, P. (Co-investigator) & Waites, W. (Researcher)
BBSRC
14/11/14 → 31/03/22
Project: Research
Querying Graph Structured Data: Principles and Techniques
Libkin, L. (Principal Investigator) & Fan, W. (Co-investigator)
EPSRC
1/11/13 → 31/10/16
Project: Research
App Guarden: Resilient Application Stores
Aspinall, D. (Principal Investigator), Franke, B. (Co-investigator), Gordon, A. (Co-investigator), Sannella, D. (Co-investigator), Stark, I. (Co-investigator) & Sutton, C. (Co-investigator)
EPSRC
1/09/13 → 31/08/16
Project: Research
DIACHRON - Managing the Evolution and Preservation of the Data Webb (RTD)
Viglas, S. (Principal Investigator), Buneman, P. (Co-investigator) & Cheney, J. (Co-investigator)
EU government bodies
1/04/13 → 31/03/16
Project: Research
Demonstration and pilot of wireless access technology
Buneman, P. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/04/13 → 31/01/15
Project: Research
Efficient algorithms for verification of recursive probabilistic system
Etessami, K. (Principal Investigator)
UK-based charities
30/03/13 → 29/03/15
Project: Research
Randomness via information dependence
Simpson, A. (Principal Investigator)
Non-EU-based charities
1/01/13 → 31/12/14
Project: Research
Machine learning methods for formal dynamical systems: a systems biology case study
Hillston, J. (Principal Investigator)
UK industry, commerce and public corporations
1/10/12 → 31/03/16
Project: Research
Hostile Evalutaion in LINQ
Viglas, S. (Principal Investigator)
UK industry, commerce and public corporations
1/09/12 → 31/08/15
Project: Research
synchronized database wikis
Cheney, J. (Principal Investigator)
Overseas Ind & Comm (Non Eu)
1/05/12 → 30/04/13
Project: Research
Milner Symposium 2012
Plotkin, G. (Principal Investigator), Fourman, M. (Co-investigator), Gilmore, S. (Co-investigator) & Hillston, J. (Co-investigator)
BBSRC
16/04/12 → 15/01/13
Project: Research
Algorithms for computationally hard problems in automata theory
Mayr, R. (Principal Investigator)
Other (Learned Society)
25/03/12 → 24/03/14
Project: Research
The integration and interaction of multiple mathematical reasoning processes
Bundy, A. (Principal Investigator), Aspinall, D. (Co-investigator), Fleuriot, J. (Co-investigator), Jackson, P. (Co-investigator), Smaill, A. (Co-investigator), Colton, S. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)) & Michaelson, G. (Co-Investigator (External))
EPSRC
1/08/11 → 31/07/15
Project: Research
Object identification for complex data
Fan, W. (Principal Investigator)
UK-based charities
1/03/11 → 28/02/13
Project: Research
Automatic proof procedures for polynomials and special functions
Jackson, P. (Principal Investigator)
EPSRC
1/11/10 → 28/02/15
Project: Research
The potential of automated reasoning tools to assist the working mathematician
Bundy, A. (Principal Investigator), Aspinall, D. (Co-investigator) & Dixon, L. (Co-investigator)
EPSRC
1/10/10 → 31/12/10
Project: Research
Hierarchies, Circuit Lower Bounds and Pseudorandomness
Santhanam, R. (Principal Investigator)
EPSRC
1/10/10 → 31/12/12
Project: Research
Building Connections between systems biology software tools for kinetic modelling and analysis
Gilmore, S. (Principal Investigator)
BBSRC
1/05/10 → 31/10/10
Project: Research
Modelling stochastic hybrid systems compositionally with process algebra
Hillston, J. (Principal Investigator)
Other (Learned Society)
1/04/10 → 31/03/12
Project: Research
CerCo: Certified Complexity
Stark, I. (Principal Investigator)
EU government bodies
1/02/10 → 31/03/13
Project: Research
The 2010 Federated Logic Conference
Plotkin, G. (Principal Investigator), Bundy, A. (Co-investigator) & Libkin, L. (Co-investigator)
EPSRC
1/02/10 → 31/10/10
Project: Research
XML with Incomplete Information: Representation, Querying and Applications
Libkin, L. (Principal Investigator)
EPSRC
1/09/09 → 30/11/13
Project: Research
FOX
Libkin, L. (Principal Investigator)
EU government bodies
1/05/09 → 30/09/12
Project: Research
Verificaton of priced infinite-state real-time systems
Mayr, R. (Principal Investigator)
Other (Learned Society)
1/04/09 → 31/03/11
Project: Research
RESA: Resource Static Analysis
Aspinall, D. (Principal Investigator) & Sannella, D. (Co-investigator)
EPSRC
1/03/09 → 30/09/10
Project: Research
Solving Parity Games and Mu-Calculi
Bradfield, J. (Principal Investigator)
EPSRC
1/01/09 → 31/12/12
Project: Research
Mechanising metatheory with nominal logic programming
Cheney, J. (Principal Investigator)
Other (Learned Society)
1/10/08 → 31/12/08
Project: Research
Distinguished Visiting Fellowship Scheme - Dr Elham Kashefi/Prof Yuan Feng
Kashefi, E. (Principal Investigator)
UK-based charities
1/10/08 → 31/01/09
Project: Research
KBA: Knowledge-based Authentication; Evaluating and Improving
Aspinall, D. (Principal Investigator) & Just, M. (Researcher)
EPSRC
1/10/08 → 30/04/10
Project: Research
Linear Observations & Computational Effects
Simpson, A. (Principal Investigator)
EPSRC
1/04/08 → 31/03/11
Project: Research
Heterogeneous and Permanent data
Buneman, P. (Principal Investigator), Fan, W. (Co-investigator), Libkin, L. (Co-investigator) & Viglas, S. (Co-investigator)
EPSRC
1/03/08 → 29/02/12
Project: Research
Postgraduate Research Studentship - Eliot Setzer
Aspinall, D. (Principal Investigator)
UK industry, commerce and public corporations
1/10/07 → 31/07/14
Project: Research
QESTCMSB: Supporting crossover between quantative modelling communities
Gilmore, S. (Principal Investigator) & Hillston, J. (Co-investigator)
EPSRC
16/09/07 → 15/02/08
Project: Research
Development of a network infrastructure to enable XCalibre to offer scalable application service provisioning on demand
Anderson, P. (Principal Investigator) & Anderson, S. (Co-investigator)
UK central government bodies/local authorities, health and hospital authorities, UK industry, commerce and public corporations
1/05/07 → 30/06/09
Project: Research
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A. (Principal Investigator), Colton, S. (Sponsor), Aspinall, D. (Co-Investigator (External)), Dennis, L. (Co-Investigator (External)), Fleuriot, J. (Co-Investigator (External)), Georgieva, L. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)), Jackson, P. (Co-Investigator (External)) & Smaill, A. (Co-Investigator (External))
EPSRC
1/04/07 → 31/03/11
Project: Research
INDIGO: Interaction with personality and dialogue enabled robots (DEMO)
Matheson, C. (Principal Investigator), Isard, A. (Co-investigator) & Oberlander, J. (Co-investigator)
EU government bodies
1/02/07 → 31/01/10
Project: Research
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A. (Principal Investigator), Beggs, J. (Co-investigator), Ghazal, P. (Co-investigator), Goryanin, I. (Co-investigator), Hillston, J. (Co-investigator), Plotkin, G. (Co-investigator), Tollervey, D. (Co-investigator), Walton, A. (Co-investigator) & Robertson, K. (Researcher)
BBSRC
8/01/07 → 31/12/12
Project: Research
Relational & XML Data Exchange Semantics, Consistency and Query
Libkin, L. (Principal Investigator)
EPSRC
1/01/07 → 31/12/09
Project: Research
Linking visual formalisms and specification calculi for biological modelling
Plotkin, G. (Principal Investigator) & Stevens, P. (Co-investigator)
EPSRC
1/01/07 → 31/07/08
Project: Research
CODA: Process Algebra Approaches to Collective Dynamics.
Hillston, J. (Principal Investigator)
EPSRC
1/12/06 → 30/11/09
Project: Research
Interdisciplinary Design and Evaluation of Dependability (INDEED)
Anderson, S. (Principal Investigator), MacKenzie, D. (Co-investigator) & Williams, R. (Co-investigator)
EPSRC
1/12/06 → 28/02/11
Project: Research