email:	landreas at kth se
phone:	+46 8 790 84 08
cellular:	+46 739 18 11 13
room:	1431 59°20'48.56"N 18° 4'22.90"E
address:	tcs / csc osquars backe 2 100 44 stockholm sweden

about me

I'm a graduate student at the Theoretical Computer Science department at the Royal Institute of Technology in Stockholm / Sweden.

My research concerns formal methods, specifically proof carrying code and runtime monitoring. My advisor is Mads Dam.

teaching

I'm currently working as an assistant on the following courses:

Previously I've worked on:

DD2372	Automata and Languages (automat10)
DD2457	Program Semantics and Analysis (semant09)
DD1350	Logic for Computer Science (logik09)
DD1352	Algorithms, data structures and complexity (adk08)
DD1340	Introduction to Computer Science (inda07)
DD2387	Program System Construction Using C++ (cprog07)
DD2440	Advanced Algorithms (avalg07)
2D1385	Software Development 2007 (prutt07)

papers

Security Monitor Inlining and Certification for Multithreaded Java

M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Mathematical Structures in Computer Science, 2011)

Provably Correct Inline Monitoring for Multi-threaded Java-like Programs

M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Journal of Computer Security, 2010)

A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode

M. Dam, A. Lundblad (technical report)

Security monitor inlining for multithreaded Java

M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Proc. ECOOP09)

curriculum vitae

Download cv (last updated April 2012).

my master thesis

My master thesis concerned an investigation of a special Hoare logic with recursion. Here you may view the abstract or download the thesis as pdf.

links

Some links:

HATS Project page

The Painting Problem

Coq'Art Quote

Coq Reading Course

Logic and Semantics Group here at TCS.

An implementation of a double elimination tournament system.

My KTHOPEN login script.

My opinions on hard line-wrapping.

Latex Invoice Template (Swedish)

Stefan Arnborgs opinions on unreadable emails (which I agree with)

A picture of my daughter.

Another picture of my daughter.

Java Generics gotchas

The "C is Efficient" Language Fallacy

Photos from a trip with Mads' boat.

Garfield strip browser: java -jar gf.jar

current location

my calendar

Please have a look at my calendar before suggesting times for meetings.

Usually I'm at the office from 08:00 to 16:30.