Elias Castegren

A picture of a handsome researcher

Post-doc at KTH


I am a post-doc researcher in David Broman’s group at KTH, working on heterogeneous model compilers and semantics. I am currently involved in two projects; one relating to composition of language semantics, and one relating to full-stack verification of programs synthesized from timed automata.

I did my PhD with Tobias Wrigstad and Dave Clarke at Uppsala University. There, I did research on programming languages, in particular type systems for controlling aliasing and preventing data-races in concurrent and parallel programs.

From April to July in 2018, I did an internship at Microsoft Research in Cambridge, working together with Matthew Parkinson and David Chisnall on compiler-based mitigation of the Spectre attacks.

I am one of the main contributors to Encore, a highly concurrent object-oriented programming language. Encore’s type system guarantees the absence of data-races and is based on my work on Kappa .

Publications and Presentations

Community Service


At Uppsala University I have had the privilege of working in the same group as the following PhD students:


During 2019 I shared the lectures of a 7.5 ECTS credits course at KTH called Computer Hardware Engineering, given by David Broman.

I was the main teaching assistant for a second year 20 ECTS credits course at Uppsala University called Imperative and Object-Oriented Programming Methodology, given by Tobias Wrigstad. In 2017, Tobias was voted teacher of the year by the CS and IT students!

During 2016 and 2017 I shared the lectures of another 20 ECTS credits course at Uppsala University called Program Design and Data Structures.

During my undergraduate studies I worked as a TA and certified Supplemental Instructions mentor for several courses on functional programming and algorithms.


I am currently supervising the following master thesis projects:

I have supervised the following bachelor thesis projects:


I spend a lot of my free time on listening to and creating music.