Kristoffer Just Arndal Andersen

Kristoffer Just Andersen

I am a PhD student of Lars Birkedal at the Logic and Semantics group at the Department of Computer Science, Aarhus University.

Winter/Spring of 2018 I visited Ilya Sergey's research group at University College London, but otherwise I have held my entire education in house, and look to complete my studies in the fall of 2019.


Kristoffer Just Andersen
Building 5341, Office 217
Dept. of Computer Science, Aarhus University
Aabogade 34
8200 Aarhus N

kja (at) cs (dot) au (dot) dk

(+45) 23 98 69 50


Distributed Protocol Combinators
With Ilya Sergey.
In Submission for PADL2019.
Caper: Automatics Verification for Fine-grained Concurrency
With Thomas Dinsdale-Young, Pedro da Rocha Pinto and Lars Birkedal.
In Proceedings of the 26th European Symposium on Programming.
Reducing Lookups for Invariant Checking
With Jakob Graunkjær Thomsen, Christian Clausen, John Danaher and Erik Ernst.
In Proceedings of the 27th European Conference on Object-Oriented Programming.