20072024

Research activity per year

Network

Jonathan Heras

  • University of Dundee
  • University of La Rioja

External person

John Power

  • University of Bath

External person

Wen Kokke

  • HWU
  • University of Strathclyde

External person

Martin Schmidt

  • University of Osnabrück

External person

Grant Passmore

  • Imandra Inc.

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

Guy Katz

  • Hebrew University of Jerusalem

External person

Robert Atkey

  • University of Edinburgh
  • University of Strathclyde

External person

Anthony Karel Seda

  • University College Cork

External person

Omri Isac

  • Hebrew University of Jerusalem

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

Aleksandar Zeljić

  • Stanford University

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

Min Zhang

  • Tianjin University of Science and Technology
  • East China Normal University

External person

Min Wu

  • University of California Irvine
  • Stanford University

External person

Maire Lane

  • University College Cork

External person

Krysia Broda

  • Imperial College London

External person

Tom Schrijvers

  • Katholieke Universiteit Leuven

External person

Kyle Julian

  • Stanford University

External person

Davide Ancona

  • University of Genoa

External person

Ori Lahav

  • Tel Aviv University

External person

Guy Amir

  • Hebrew University of Jerusalem

External person

Pei Huang

  • Stanford University

External person

Teruhiro Tagomori

  • Stanford University

External person

Shahaf Bassan

  • Hebrew University of Jerusalem

External person

Artur d'Avila Garcez

  • City, University of London

External person

Ewen Maclean

  • University of Edinburgh

External person

Clark Barrett

  • Stanford University

External person

Vladimir Komendantskiy

  • Moixa Technology Ltd.

External person

Luca Franceschini

  • University of Genoa

External person

Andrew Pond

  • University of Dundee

External person

Kacper Lichota

  • University of Dundee

External person

Dmitry Rozplokhas

  • Jet Brains Research

External person

Haoze Wu

  • Stanford University

External person

Luca Arnaboldi

  • University of Edinburgh

External person

Guy McCusker

  • University of Bath

External person

Idan Refaeli

  • Hebrew University of Jerusalem

External person