Thesis

On December 5, 2008, I successfully defended my thesis.

Research

My research area is within formal verification and performance evaluation of networking protocols, particularly ad hoc routing protocols. I am a member of the mobility and the communications research groups. I work within the Haggle project. My main supervisor is Joachim Parrow.

Tools

I co-authored the Graph Backwards Tool, for verification of graph grammars.

Teaching

Current courses

Previous courses

During the last two years I have been involved in the following courses.

Administration

I do web development for our department web server. I also develop the reflection system, which is used for continuous feedback during courses.

Miscellaneous

Co-founder, CTO, and member of the board of directors, IT consultancy Gnistra AB.

Publications

[[OPUS personid=oskarw; sort=date]]