Post. docs.

Current:

Jon Sterling (Post. doc.)
Alejandro Aguirre (Post. doc.)
Leon Gondelmann (Post. doc.)

Former:

Armael Gueneau (Post. doc., now at Inria Saclay, France)
Alix Trieu (Post. doc., now at National Cybersecurity Agency of France (ANSSIF), Paris, France).
Alex Kavvos (Post. doc., now Asst. Prof. at Univ. of Bristol, UK)
Ales Bizjak (Post. doc.)
Thomas Dinsdale-Young (Post. doc.)
Ranald Clouston (Post. doc.)
Robbert Krebbers (Post. doc.)
Kasper Svendsen (Post. doc.)
Filip Sieczkowski (Post. doc.)
Jesper Bengtson (Post. doc.) (now Assoc. Prof. at IT Univ. of Copenhagen)
Jacob Thamsborg (Post. doc.)
Kristian Stovring (Post. doc.) (now at DIKU, University of Copenhagen)
Rasmus Mogelberg (Steno researcher) (now Asst. Prof. at IT University of Copenhagen)
Mikkel Bundgaard (Post. doc.) (now at Edlund)
Soren Debois (Post. doc.) (now Post. Doc. on Genie project at ITU.)