Post. docs.

Current:

Ales Bizjak (Post. doc.)
Thomas Dinsdale-Young (Post. doc.)
Ranald Clouston (Post. doc.)

Former:

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.)