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).
Applications and Algorithms
Computational Biology group |
Computational Linguistics |
Constraints Group |
Information Systems |
Machine Learning |
RoboCup 2D |
Spatial Reasoning
Numerical Analysis
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
Program Development and Tools
abc |
Algebra of Programming |
Metacomputation |
Programming Tools
Software Engineering
Information Modelling |
Model-based Software Engineering |
Requirements Engineering |
Research Informatics |
Sensor Networks |
Software and Systems Security
Theory and Automated Verification
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
|