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:
Previously I've worked on:
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)
Download cv (last updated April 2012).
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.
Some links:
Logic and Semantics Group here at TCS.
An implementation of a double elimination tournament system.
My opinions on hard line-wrapping.
Latex Invoice Template (Swedish)
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 08:00 to 16:30.