Areas of expertise and research
- Computation theory and discrete mathematics
- Automated reasoning and discrete optimisation
- Learning theory and probabilistic reasoning
- Theoretical foundations of computer security
If you're feeling unwell, get tested for COVID-19 and stay home until you’ve received a negative result. View our latest COVID-19 updates.