Research Projects
Current project
Marie-Curie Training Network on Engineering and Provisioning of Service-Based Cloud Applications
-
PI: Steffen Zschaler
-
This grant is a trans-European network whose objective is to develop formal foundations for analysis of cloud based applications. (Joint award with University of Karlsruhe and University of Rennes, Silo.)
-
2011-2015, €5,030,780 (EU-FP7)
Higher-order Refinement Techniques for Model Driven Architecture
-
PI: Kevin Lano
-
This grant came first in the ranking by its EPSRC assessment panel. It forms part of a joint submission with John Derrick from Sheffield University, IBM, ARTiSAN software tools, with King’s as the leading research organization.
-
2009-2012, £639,930 (EPSRC, EP/G03012X/1)
PORGY – Interactive Analysis and Visualisation of Port Graph Rewriting Systems
-
PI: Maribel Fernandez
-
2009-2011, €40,000, (INRIA, France)
Completed projects
Dependent types for Nominal Terms
Start: 1-Jun-09 End: 31-May-11
Funding: 5680 Source: Royal Society
PI: Maribel Fernandez
Support for Model Driven Architecture
Start: 16-Jun-06 End: 15-Jun-08
Funding: 13008 Source: EPSRC
PI: Iman Poernomo
Formal methods to improve model driven architecture
Start: 1-Jun-06 End: 31-May-08
Funding: 4000 Source: Nuffield Foundation
PI: Iman Poernomo
MDA Workbench
Start: 6-Oct-04 End: 5-Oct-05
Funding: 12156 Source: Tata Consultancy Services Ltd
PI: Kevin Lano
Reactive Systems Design Support
Start: 1-Feb-02 End: 31-Jan-03
Funding: 3260.7 Source: EPSRC
PI: Kevin Lano
Computational immunology for fraud detection.
Start: 1-Apr-00 End: 31-Mar-03
Funding: 199437 Source: EPSRC
PI: Richard Overill
Objects, associations and subsystems: a hierarchical approach to encapsulation.
Start: 1-Oct-99 End: 31-Oct-02
Funding: 156041 Source: EPSRC
PI: Kevin Lano
MC Intra-European Fellowship for Clara Bertolissi
Start: 1-May-07 End: 30-Apr-08
Funding: 31673.83 Source: European Commission
PI: Maria Isabel Fernandez
New principles of logic: reasoning at different levels
Start: 1-Apr-07 End: 31-Mar-10
Funding: 126369 Source: Leverhulme Trust
PI: Dov Gabbay
Connections between belief revision, belief merging and voting
Start: 16-Oct-06 End: 15-Mar-07
Funding: 6291 Source: EPSRC
PI: Odinaldo Rodrigues
Semantics of quantum computation
Start: 1-Jun-06 End: 31-May-09
Funding: 48933 Source: EPSRC
PI: Ian Mackie
DiET: Dialogue Experimentation Tools
Start: 1-Mar-06 End: 28-Feb-09
Funding: 2300 Source: EPSRC
PI: Jonathan Ginzburg
Computational Applications of Nominal Sets
Start: 1-Oct-05 End: 30-Sep-09
Funding: 105282 Source: EPSRC
PI: Ian Mackie, Maria Isabel Fernandez
Deductive verification of CTL properties
Start: 1-May-05 End: 30-Apr-06
Funding: 36872.99 Source: EPSRC
PI: Dov Gabbay
Dialogue Matters: Securing Foundations for Dialogue Technology Development
Start: 1-Apr-05 End: 31-Mar-08
Funding: 150000 Source: Leverhulme Trust
PI: Shalom Lappin, Jonathan Ginzburg
Quantification in Non-classical Logic
Start: 1-Jan-05 End: 31-Dec-05
Funding: 42044 Source: EPSRC
PI: Dov Gabbay
Second Order Quantifier Elimination
Start: 1-Jan-05 End: 31-Dec-05
Funding: 24721 Source: EPSRC
PI: Dov Gabbay
Quantum logic and revision theory
Start: 1-Nov-04 End: 31-Oct-05
Funding: 40176 Source: EPSRC
PI: Dov Gabbay
Proof procedures based on graphs
Start: 1-Oct-04 End: 30-Sep-05
Funding: 26374 Source: EPSRC
PI: Dov Gabbay
Rewriting frameworks
Start: 1-Oct-04 End: 30-Sep-05
Funding: 23503 Source: EPSRC
PI: Maria Isabel Fernandez
Knowledge, representation and reasoning about distance
Start: 1-Aug-04 End: 31-Jul-07
Funding: 196021 Source: EPSRC
PI: Agnes Kurucz, Anatoli Degtiarev, Michael Zakharyaschev
Interpolation and Definability
Start: 1-Mar-04 End: 31-Aug-04
Funding: 19025 Source: EPSRC
PI: Dov Gabbay
The Sixth Augustus De Morgan Conference: "Logic and Law"
Start: 14-Feb-04 End: 13-Aug-04
Funding: 5592 Source: EPSRC
PI: Dov Gabbay
Probability and Proof
Start: 1-Feb-04 End: 31-Jan-05
Funding: 24417 Source: EPSRC
PI: Dov Gabbay
Dynamic Ontologies: A framework for service descriptions
Start: 1-Jan-04 End: 31-Dec-06
Funding: 162220 Source: EPSRC
PI: Agnes Kurucz, Anatoli Dagtiarev, Michael Zackharyaschev
Abductive models for cognitive agents II
Start: 1-Jan-04 End: 31-Dec-04
Funding: 15000 Source: EPSRC
PI: Dov Gabbay
The fifth Augustus De Morgan conference: knowledge representation and the reasoning agent
Start: 3-Nov-03 End: 2-Dec-03
Funding: 4740 Source: EPSRC
PI: Dov Gabbay
Dialogue Dynamics I: A pilot project
Start: 1-Oct-03 End: 30-Sep-04
Funding: 41498.9 Source: ESRC
PI: Dov Gabbay
ESRC Postdoctoral Fellowship - Dr G Pigozzi
Start: 1-Oct-03 End: 31-Jan-06
Funding: 30861.38 Source: ESRC
PI: Dov Gabbay
PROFILE: Processing and Resolution Of Fragments in diaLoguE
Start: 1-Dec-02 End: 30-Nov-05
Funding: 78901.47 Source: ESRC
PI: Shalom Lappin, Jonathan Ginzburg
4th De Morgan Conference: Combining Probability and Logic
Start: 1-Nov-02 End: 30-Nov-02
Funding: 2000 Source: London Mathematical Society (LMS)
PI: Dov Gabbay
Doctoral Training Grant
Start: 1-Oct-02 End: 30-Sep-06
Funding: 54246 Source: EPSRC
PI: Shalom Lappin
Abductive Models for Cognitive Agents
Start: 1-Jan-02 End: 31-Dec-02
Funding: 32097 Source: EPSRC
PI: Dov Gabbay
Network of Excellence in Computational Logic (CologNet)
Start: 1-Jan-02 End: 31-Dec-04
Funding: 123322 Source: European Commission
PI: Dov Gabbay
Belief contraction and anti-formulae, logical modelling of deletion
Start: 19-Oct-01 End: 18-Apr-05
Funding: 59482 Source: EPSRC
PI: Odinaldo Rodrigues
Analysis and Mechanisation of Decidable First-order Temporal Logics
Start: 1-Oct-01 End: 31-Mar-04
Funding: 176028 Source: EPSRC
PI: Michael Zakharyaschev, Dov Gabbay
Complexity analysis of reasoning in combined knowledge representation systems
Start: 1-Oct-01 End: 30-Sep-04
Funding: 65350 Source: EPSRC
PI: Michael Zakharyaschev
Long-term Representation of Structural Information in Dialogue Interaction
Start: 2-Oct-00 End: 1-Oct-03
Funding: 62868 Source: EPSRC
PI: Jonathan Ginzburg
Many-dimensional modal logics and finite model theory.
Start: 1-Jun-00 End: 31-May-03
Funding: 192507 Source: EPSRC
PI: Dov Gabbay
GNOSIOGENESIS.
Start: 1-Mar-00 End: 28-Feb-03
Funding: 19542 Source: European Commission
PI: Dov Gabbay
Phrasal utterance resolution in dialogue
Start: 1-Oct-99 End: 30-Sep-02
Funding: 40869 Source: ESRC
PI: Shalom Lappin, Jonathan Ginzburg
The formal foundations of contraint-based semantics for natural language.
Start: 1-Oct-99 End: 30-Sep-02
Funding: 193759 Source: AHRB
PI: Shalom Lappin
The formal foundations of contraint-based semantics for natural language.
Start: 1-Jul-99 End: 30-Sep-02
Funding: 193759 Source: AHRB
PI: Shalom Lappin
Data driven logic algorithms
Start: 1-Oct-98 End: 30-Sep-01
Funding: 279596 Source: EPSRC
PI: Dov Gabbay