On December 5, 2008, I successfully defended my thesis
.
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
.
I co-authored the Graph Backwards Tool, for verification of graph grammars.
During the last two years I have been involved in the following courses.
- Information about the robot mini project can be found here (requires logging in)
I do web development for our department web server. I also develop the reflection system, which is used for continuous feedback during courses.
Co-founder, CTO, and member of the board of directors, IT consultancy Gnistra AB
.
[[OPUS personid=oskarw; sort=date]]