eliasc.github.io - Elias Castegren by EliasC

home > domains > eliasc.github.io

Example domain paragraphs

Assistant Professor at Uppsala University

I am an assistant professor at Uppsala University, working on programming languages, semantics and type systems. I am involved in the Verona project together with Microsoft Research.

I used to be 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 .

Links to eliasc.github.io (2)

• wrigstad.com Tobias Wrigstad
• plresearcher.com News - Programming Language Researcher