Previous education

B.Sc. of Mathematics, University of Iceland, graduate year 2004.

M.Sc. Thesis work

For my thesis project, I am studying a logic used for checking formal models with respect to both operational and security properties. The aim is to prove theorems that help to reduce the problem size of verifying a model.

My primary supervisor is Luca Aceto.

Current research interests

My current M.Sc. thesis work and related research are in process algebra. Other interests include concurrency theory in general, programming languages, type theory, use of logic in computer science and modeling and verification.

On the practical side I am interested in paradigms for concurrent programming such as asynchronous message passing systems, software transactional memory and other alternatives and extensions to shared-memory threads. Also (programming/domain-specific) language processing, compiler construction and dynamic programming environments.

Going outside the scope of my education I also have a weak spot for electronics of all sorts, playing microprocessors and general DIY hacking.

Teaching

I have previously been a TA for the following courses at RU.

Spring 2008: Algorithm design and analysis, T-604-HGRE. Administered weekly excercise sessions. 2nd-3rd year elective course of B.Sc. in CS.

Spring 2008: Computer Science II (3-week intensive course). Administered daily excercise sessions and helped with course design (first-time Python was used). 1st year of engineering programs.

Further information

This website contains pages on some of my projects, list of publications and contact information.

My CV in PDF form can be downloaded here.

Personal stuff

Besides all that CS and programming nonsense I enjoy photography with my wife, as witnessed on our Flickr page, driving around my beautiful country in our jeep and playing the piano (well, pretending to play at least).

This website

If you are anything like me, you like technical details. This website runs on a Ubuntu Linux virtual machine hosted by Linode. The software is a small home-brewn Django project pulling bits and pieces from around the web. Django itself runs on top of Apache via mod_wsgi and the data is stored in a MySQL database.

Georg Brandl generously allowed me to steal his CSS and design ideas from the Pygments website, thanks Georg! Pygments also handles the highlighting of all code on this site (erhm... it will, when there is some code :).