Clone wiki

public / Home

We have a new website !!!


  • Lars Birkedal (professor)
  • Jaco van de Pol (professor)
  • Aslan Askarov (associate professor)
  • Bas Spitters (associate professor)
  • Amin Timany (assistant professor)
  • Danil Annenkov (postdoc)
  • Alix Trieu (postdoc)
  • Sabine Oechsner (postdoc)
  • Leon Gondelman (postdoc)
  • Armaël Guéneau (postdoc)
  • Philip G. Haselwater (Postdoc)
  • Simon Wimmer (Postdoc)
  • Johan Bay (PhD student)
  • Martin Bidlingmaier (PhD Student)
  • Jeppe Fredsgaard Blaabjerg (PhD Student)
  • Aïna Linn Georges (PhD Student)
  • Daniel Gratzer (PhD student)
  • Simon Gregersen (PhD student)
  • Irfansha Shaik (PhD Student)
  • Steffan Sølvsten Jørgensen (PhD Student)
  • Søren Eller Thomsen (PhD Student)
  • Jakob Botsch Nielsen (PhD Student)
  • Zesen Qian (PhD Student)
  • Abel Nieto Rodriguez (PhD Student)
  • Simon Friis Vindum (PhD Student)
  • Benjamin Salling Hvass (PhD Student)
  • Nikolaj Sidorenco (PhD Student)
  • Philipp Stassen (PhD Student)
  • Sergei Stepanenko (PhD Student)
  • Zongyuan Liu (PhD Student - starts October 1)
  • Mikkel Milo (research assistant)
  • Rasmus Holdsbjerg-Larsen (research assistant)

Upcoming visitors

Nov. 30 - Dec. 4, 2020Jonas Kastberg (ITU, Copenhagen; guest to Amin Timany)

Previous visitors

Sept. 14 - Sept. 18, 2020Christian Uldal Graulund (ITU, Copenhagen; guest to Lars Birkedal)
Feb. 1 - Jun. 1, 2020Thomas Van Strydonck (KU Leuven)
April 14-17, 2020 (cancelled)Alejandro Aguirre (The IMDEA Software Institute)
April 13-17, 2020 (cancelled)Étienne André (Université de Lorraine (Loria), Nancy, France; guest to Jaco van de Pol)
March 9-11, 2020Andrew Hirsch (Max Planck Institute for Software Systems)
March 9-13, 2020 (cancelled)Ranald Clouston (The Australian National University)
March 2-7, 2020Alexey Gotsman (The IMDEA Software Institute)
December 9-10, 2019Karl Palmskog (KTH Royal Institute of Technology)
November 25-29, 2019Thomas Van Strydonck (KU Leuven)
November 14-15, 2019Deepak Garg (MPI-SWS)
November 14-15, 2019Peter Sewell (University of Cambridge)
November 12-14, 2019Marieke Huisman (University of Twente)
November 12-14, 2019Bart Jacobs (KU Leuven)
November 4-7,2019Matthieu Sozeau (INRIA Paris)
October 21-25, 2019Simon Wimmer (TU Munich)
October 19-23, 2019David Naumann (Stevens Institute of Technology)

A list of past visitors is here.

Seminar, Fall 2020

We meet every Monday from 12:00 until 14:00 in InCuba Lille Aud. (or Zoom) This meeting is organized by Danil Annenkov. The list of previous seminars is available here.

September 7, 2020cancelled
September 14, 2020, 12:00-12:45Christian Uldal GraulundSketches of a RaTT: Fitch-style modal calculi for reactive programming (abstract)
September 14, 2020, 13:00-13:45Lars BirkedalCPV – a partial overview of current research
September 21, 2020, 12:00-13:00 (on Zoom)Simon GregersenMechanized Logical Relations for Termination-Insensitive Noninterference (abstract)
September 28, 2020
October 5, 2020Léon GondelmanDistributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic (abstract)
October 12, 2020No seminar, fall break (Efterårsferie)
October 19, 2020Simon Friis VindumContextual refinement of the Michael-Scott queue (abstract)
October 26, 2020Maximilian AlgehedIFC Theorems for Free! (abstract)
November 2, 2020Aïna Linn GeorgesMechanized Program Verification on a Capability Machine in the Presence of Untrusted Code (abstract)
November 9, 2020Danil AnnenkovCoq Extraction: new targets, new challenges (abstract)
November 16, 2020Bas SpittersHigh level overview of formally verified security (abstract)
November 23, 2020Jeppe BlaabjergTowards Language-Based Mitigation of Traffic Analysis Attacks (abstract)
November 30, 2020Jonas KastbergActris: session-type based reasoning in separation logic (abstract)
December 7, 2020Zesen QiangClient-Server Sessions in Linear Logic (abstract)
December 14, 2020cancelled

Tutorial Material