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).

Computational Biology group | Computational Linguistics | Constraints Group | Information Systems | Machine Learning | RoboCup 2D | Spatial Reasoning

Computational Non-Newtonian Fluid Dynamics | Finance | Fluid Dynamics | Medicine and Biology | Numerical Linear Algebra | Numerical Solution of Partial Differential Equations | Semi-definite Programming and Optimisation

abc | Algebra of Programming | Metacomputation | Programming Tools

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

Concurrency | Epistemic Logics | Game Semantics and its Applications | Model Checking | Philosophy of Information | PRISM | Quantitative Analysis and Verification Group | Quantum Information and Computation | Security | Verification