I am a post-doc researcher in David
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
I did my PhD with Tobias
Wrigstad and Dave
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
compiler-based mitigation of the
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
-  Reference Capabilities for Safe Parallel Array
Programming – Programming’20 (Paper upcoming)
-  Developing a Monadic Type Checker for an Object-Oriented
Language: An Experience Report – SLE’19 (Distinguished Artifact Award)
-  Progress Report: Exploring API Design for Capabilities
for Programming with Arrays – ICOOOLPS’19 (paper (coming soon))
-  OOlong: a concurrent object calculus for extensibility
and reuse – ACM SIGAPP (paper |
-  Attached and Detached Closures in Actors –
AGERE@SPLASH’18 (paper | slides)
-  Cflat: A New Modular Approach to Implementing Efficient
and Tunable Collections – Onward!
-  Bestow and Atomic: Concurrent Programming using
Isolation, Delegation and Grouping – JLAMP
-  Parallel programming with arrays in Kappa –
-  Forward to a Promising Future – COORDINATION’18 (Best Paper Award)
-  Capability-Based Type Systems for Concurrency Control – PhD Thesis
-  OOlong: An Extensible Concurrent Object Calculus – OOPPS@SAC’17
(preprint | slides | artifact)
-  Reference Capabilities for Concurrency & Scalability: an Experience Report – OCAP’17
(slides | video forthcoming)
-  Mastery Learning-Like Teaching with Achievements – SPLASH-E’17
-  Relaxed Linear References for Lock-Free Data Structures – ECOOP’17
(paper and talk | slides)
-  Actors without Borders: Amnesty for Imprisoned State – PLACES’17
(paper | slides)
-  Reference Capabilities for Trait Based Reuse and Concurrency Control – Technical Report
-  Types for CAS: Relaxed Linearity with Ownership Transfer – NWPT’16
-  LOLCAT: Relaxed Linear References for Lock-free Programming – Technical Report
-  Reference Capabilities for Concurrency Control – ECOOP’16
(paper and talk | slides | poster)
-  Kappa: Insights, Current Status and Future Work – IWACO’16
(paper | slides)
-  Refined Ownership: Fine-grained controlled internal sharing – SFM’15
-  Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore – SFM’15
-  Capable: Capabilities for Scalability – IWACO’14
(paper | slides)
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
During 2016 and 2017 I shared the lectures of another 20 ECTS
credits course at Uppsala University called Program Design and
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:
- Alfrida Mattisson – Automatically Choosing Implementations of Abstract Data Types
I have supervised the following bachelor thesis projects:
I spend a lot of my free time on listening to and creating music.
- From 2008 to 2017 I was the conductor of
Kalmar Nation’s Choir
is a video of us performing of Vienna Teng’s beautiful Hymn of Acxiom.
- Since 2015 I am a singer in
- I also like to write and arrange choir music.
is a recording of my setting of Alfred Tennyson’s Now Sleeps
the Crimson Petal, performed by the women’s choir
- I play the electric and upright
bass. Here is a
recording I made as a Christmas present for the friend who
introduced me to the wonderful music of Vulfpeck.
- I play bass in the now dormant band Morfis. Our album
from 2013 is on Spotify! I wrote and arranged the songs Gånglåt
från Gottsunda (“Walking Song from Gottsunda”), Cykeltjuven
(“The Bicycle Thief”) and Kometen (“The Comet”).