20072022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Network

Jonathan Heras

  • University of Dundee
  • University of La Rioja

External person

John Power

  • University of Bath

External person

Martin Schmidt

  • University of Osnabrück

External person

Henning Basold

  • Ecole Normale Supérieure de Lyon
  • Leiden University

External person

Kevin Hammond

  • University of St. Andrews

External person

Patricia Johann

  • Appalachian State University

External person

Anthony Karel Seda

  • University College Cork

External person

Yves Bertot

  • Inria - Sophia Antipolis

External person

Pascal Bacchus

  • Inria Rennes-Bretagne Altlantique Research Centre

External person

Quentin Ducasse

  • École Nationale Supérieure de Techniques Avancées

External person

Grant Passmore

  • Imandra Inc.

External person

David Aspinall

  • University of Edinburgh
  • Edinburgh Napier University

External person

Moa Johansson

  • Chalmers University of Technology

External person

Christopher Schwaab

  • University of St. Andrews

External person

Maire Lane

  • University College Cork

External person

Krysia Broda

  • Imperial College London

External person

Tom Schrijvers

  • Katholieke Universiteit Leuven

External person

Davide Ancona

  • Università degli Studi di Genova

External person

Robert Atkey

  • University of Edinburgh
  • University of Strathclyde

External person

Artur d'Avila Garcez

  • City, University of London

External person

Ewen Maclean

  • University of Edinburgh

External person

Vladimir Komendantskiy

  • Moixa Technology Ltd.

External person

Luca Franceschini

  • Università degli Studi di Genova

External person

Andrew Pond

  • University of Dundee

External person

Kacper Lichota

  • University of Dundee

External person

Dmitry Rozplokhas

  • Jet Brains Research

External person

Guy McCusker

  • University of Bath

External person