personal homepage of
ANDREAS
LUNDBLAD
| 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 |
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.
I'm currently working as an assistant on the following courses:
| DD1350 | Logic for Computer Science (logik09) |
Previously I've worked on:
Provably Correct Inline Monitoring for Multi-threaded Java-like Programs
M. Dam, B. Jacobs, A. Lundblad, F. Piessens (To appear in Journal of Computer Security)
Security monitor inlining for multithreaded Java
M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Proc. ECOOP09)
Download cv.pdf or cv.ps (last updated Feb 2009).
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.
If you happen to be interested in program analysis, please have a look at the following exjobb proposal:
Probabilistic analysis of heap fragmentation in Java-programs
Some links:
Logic and Semantics Group here at TCS.
An implementation of a double elimination tournament system.
My opinions on hard line-wrapping.
Stefan Arnborgs opinions on unreadable emails (which I agree with)
Another picture of my daughter.
The "C is Efficient" Language Fallacy
Photos from a trip with Mads' boat.
Garfield strip browser: java -jar gf.jar
Please have a look at my calendar before suggesting times for meetings.
Usually I'm at the office from 07:30 to 15:45.