research

themes | activities | projects | people

Research activities at OUCL range from loosely-defined programmes of research, or families of related projects, to established research centres and groups. To promote effective collaboration, each activity has a leader or head– who may also be the designated contact for the activity. Many activities organise seminars and weekly meetings–some of which may be open to external participants. Current activities within the Laboratory are listed below, in order of primary theme (and then alphabetically).

Cardiac Physiology | Computational Biology group | Computational Physiology

Constraints Group | Epistemic Logics | Game Semantics and its Applications | Philosophy of Information | Quantum Group

Computational Linguistics | Databases | Knowledge Representation and Reasoning | Machine Learning | RoboCup 2D | Spatial Reasoning

Complexity in Optimization | Computational Non-Newtonian Fluid Dynamics | Finance | Fluid Dynamics | Medicine and Biology | Numerical Linear Algebra | Numerical Optimization | Numerical Solution of Partial Differential Equations | Sequence Alignments | SVD of Distributed Data | Symmetric Cone Programming

abc | Algebra of Programming | Functional Programming | Metacomputation | Programming Tools

Information Modelling | Requirements Engineering | Research Informatics | Sensor Networks | Software and Systems Security

Concurrency | Hardware Verification | Model Checking | PRISM | Probabilistic Model Checking | Probabilistic Verification for Systems Biology | Quantitative Analysis and Verification | Security | Software Model Checking