I am a graduate student at the division of EISLAB (Embedded Internet
Systems Laboratory).
My advisor is Johan
Nordlander.
My work is focused on declarative programming languages for concurrent real-time programming.
I am mainly concerned with the semantics and properties of timed programming languages. In
particular I work on the Timber programming language.