Kristoffer Just 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. I have held my entire education in house, so far, and look to complete my studies in the fall of 2019.

Contact

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

E-mail: kja (at) cs (dot) au (dot) dk

Publications

Caper: Automatics Verification for Fine-grained Concurrency
With Thomas Dinsdale-Younf, 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.