[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science Activities index"></meta>
<meta name="description"
      content="Activities at the Department of Computer Science at the heart of computing and related interdisciplinary activity at Oxford."></meta>
<title>Department of Computer Science, University of Oxford: Research activities</title>
[an error occurred while processing this directive]
<div id="breadcrumb">
   <span id="breadcrumb-label">You are here:</span>
   <ul>
      <li>
         <a href="/">Home</a>
      </li>
      <li>
         <a href="/research/">Research</a>
      </li>
      <li>
         <span class="youarehere">Activities
            
         </span>
      </li>
   </ul>
</div>
<div id="content">
   <h1>Research activities
      
   </h1>
   <p>Research activities at the Department of Computer Science 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 Department of Computer Science are listed below, in order of primary theme
      (and then alphabetically).
   </p>
   <h2>
      <a href="algorithms">Algorithms</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/algorithmicgametheory/">Algorithmic Game Theory</a> | 
      <a href="/activities/algorithmsatlarge/">Algorithms At Large</a> | 
      <a href="/activities/computationalcomplexity/">Computational Complexity</a> | 
      <a href="/activities/constraints/">Constraints Group</a> | 
      <a href="/activities/corealgorithms/">Core Algorithms</a>
   </p>
   <h2>
      <a href="verification">Automated Verification</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/concurrency/">Concurrency</a> | 
      <a href="/activities/hardwareverification/">Hardware Verification</a> | 
      <a href="/activities/modelchecking/">Model Checking</a> | 
      <a href="/activities/prism/">PRISM</a> | 
      <a href="/activities/probabilisticmodelchecking/">Probabilistic Model Checking</a> | 
      <a href="/activities/probverifbio/">Probabilistic Verification for Systems Biology</a> | 
      <a href="/activities/qav/">Quantitative Analysis and Verification</a> | 
      <a href="/activities/RECOUNT/">RECOUNT</a> | 
      <a href="/activities/security/">Security</a> | 
      <a href="/activities/SW-MC/">Software Model Checking</a> | 
      <a href="/activities/verification/">Verification</a>
   </p>
   <h2>
      <a href="compbio">Computational Biology</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/bioinformatics/">Bioinformatics group</a> | 
      <a href="/activities/cardiac/">Cardiac Physiology</a> | 
      <a href="/activities/compbio/">Computational Biology group</a> | 
      <a href="/activities/Heart/">Computational Heart Modelling</a> | 
      <a href="/activities/computationalphysiology/">Computational Physiology</a> | 
      <a href="/activities/Lungs/">Respiratory Modelling</a>
   </p>
   <h2>
      <a href="fls">Foundations, Logic and Structures</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/compdistmeaning/">Compositional Distributional Models of Meaning</a> | 
      <a href="/activities/epistemic/">Dynamic Epistemic Logic</a> | 
      <a href="/activities/gamesemantics/">Game Semantics and its Applications</a> | 
      <a href="/activities/ieg/">Philosophy of Information</a> | 
      <a href="/activities/quantomatic/">Quantomatic</a> | 
      <a href="/activities/quantum/">Quantum Group</a>
   </p>
   <h2>
      <a href="is">Information Systems</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/compling/">Computational Linguistics</a> | 
      <a href="/activities/databases/">Databases</a> | 
      <a href="/activities/knowledge/">Knowledge Representation and Reasoning</a> | 
      <a href="/activities/machinelearning/">Machine Learning</a> | 
      <a href="/activities/Robocup2D/">RoboCup 2D</a> | 
      <a href="/activities/spatial/">Spatial Reasoning</a>
   </p>
   <h2>
      <a href="pl">Programming Languages</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/abc/">abc</a> | 
      <a href="/activities/algprog/">Algebra of Programming</a> | 
      <a href="/activities/fp/">Functional Programming</a> | 
      <a href="/activities/metacomputation/">Metacomputation</a> | 
      <a href="/activities/tools/">Programming Tools</a>
   </p>
   <h2>
      <a href="security">Security</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/cybersecuritycentre/">Cyber Security Centre</a> | 
      <a href="/activities/SSRG/">Software and Systems Security</a> | 
      <a href="/activities/Trust/">Trusted Computing</a>
   </p>
   <h2>
      <a href="se">Software Engineering</a>
   </h2>
   <p class="listedlinks">
      <a href="/activities/ci/">Clinical Informatics</a> | 
      <a href="/activities/HCC/">Human Centred Computing</a> | 
      <a href="/activities/im/">Information Modelling</a> | 
      <a href="/activities/securedatasharing/">Models and technologies for secure data sharing</a> | 
      <a href="/activities/requirements/">Requirements Engineering</a> | 
      <a href="/activities/informatics/">Research Informatics</a> | 
      <a href="/activities/sensors/">Sensor Networks</a> | 
      <a href="/activities/sss/">Systems Security</a>
   </p>
</div>
[an error occurred while processing this directive]
[an error occurred while processing this directive]
<h2 id="inthissection">Research</h2>
<ul class="subnav">
   <li>
      <a href="/research" class="menu">Themes</a>
   </li>
   <li>
      <span class="youarehere">Activities</span>
   </li>
   <li>
      <a href="/research/projects.html" class="menu">Projects</a>
   </li>
   <li>
      <a href="/research/people.html" class="menu">People</a>
   </li>
   <li>
      <a href="/research/publications/" class="menu">Publications</a>
   </li>
</ul>
[an error occurred while processing this directive]