Aarhus University Seal / Aarhus Universitets segl

 

PEOPLE AND VISITORS

 

Centre Leader

Jesper Buus Nielsen

Professor Department of Computer Science

Work Package Leaders

Verification and Smart Contracts

Bas Spitters

Associate professor

Cryptography


Researchers


Visitors

2020

  • Alexey Gotsman, IMEDEA, March 3 
  • Kristina Sojakova, Cornell University, February 10-15

2019

  • Karl Palmskog, KTH Royal Institute of Technology in Stockholm, December 10-11
  • Daniel Tschudi, Concordium AG, November 27-30
  • Christian Matt, Concordium AG, November 27-30
  • Daniel Tschudi, Concordium AG, November 20-23
  • Daniel Tschudi, Concordium AG, October 12-18
  • Thomas Sibut-Pinote, August 26-30
  • Seyed Reza Sefidgar, ETH Zürich, August 26-28 
  • Chris Brzuska, Aalto University, July 24-28
  • Ueli Maurer, ETH Zürich, June 25
  • Markulf Kohlweiss University of Edinburgh, March 26-30
  • Pierre-Yves Strub École Polytechnique France, February 11-13