Research Themes

Research within the Centre for Fundamental Computer Science falls broadly within the following themes:

• 

  Logic

• 

  Mathematical Modelling

• 

  Verification

• 

  Probabilistic Reasoning

• 

  Algorithms and Complexity