here - Andreas Lundblad

Andreas Lundblad
CONTACT: [email protected] • +46 739 18 11 13 •
Ph.D. Theoretical Computer Science Formal Methods / Runtime Verification
Royal Institute of Technology, Stockholm.
M.Sc. Computer Science, Formal Design Techniques
Royal Institute of Technology, Stockholm. Avg. grade: 4.85 (of 5).
Primary / Upper Secondary School, Natural Science Program
Tensta Gymnasium, Stockholm. Avg. grade: 19.1 resp. 19.3 (of 20).
Senior Member of Technical Staff, Oracle
Member of the Langtools team. Development of OpenJDK in general end the Java Compiler
in particular.
Co-founder, Comparific
Back-end developer for the Android Application Comparific which is used to find the best cellphone price plans based on call history and data usage. Currently analyzes 97 price plans.
Founder, Aioobe Software
Developed a web shop for a Jewelry business. Developed a custom CMS for a careers
fair with invoice generation, host/exhibitor pairing, logotype thumbnail generation, etc using
Scala/Liftweb. Worked as a C++ consultant. Developed Drupal and WordPress sites.
Researcher, Royal Institute of Technology, KTH
Scientific research in fields of software security, runtime monitoring, binary rewriting, proof
carrying code, concurrency, the Java memory model and distributed systems.
Taught courses such as automata theory, program semantics and analysis, logics, algorithms
and data structures, complexity theory, program construction in C++, advanced algorithms,
software development techniques.
Worked with HR. Tasks included introducing and taking care of newly employed researchers.
Primary advisor of three master’s theses: ADAPT: Automatically Distributed Anonymous Proxy
Torrent, Monitor Inlining in ABS and TaintDroid-Integrated Policy Inliner.
Programmer, SAAB Technologies, Electronic Warfare Systems Division
Work included implementation of automatic tests and software development for anti-radar
systems in general. Participated in meetings with the Italian Air force in Pratica de Mare, Italy.
30under30 Contest of 2014: Selected as one of Swedens top 30 tech executors / top 10
developers under 30.
The Dragon of Enlightenment: Awarded for meritorious work in undergraduate education
during 2011.
Honor Grant, 8.000 SEK: Awarded to best M.Sc. student among Computer Science graduates
of 2007 at KTH.
Graduation Analyzer. Developed software for analyzing student grades and graduation constraints at KTH. It aggregated information from several data sources (web, databases, Excel),
analyzed it and produced Excel reports. The software cut down time consuming administrative
tasks by orders of magnitude. It was later adopted by other institutions and is still used on a
daily basis. No bugs have been found.
Multri.Net, a multiplayer Tetris game featuring team play, several play modes, online replays,
an integrated tournament system, multiple high score lists and an ELO-ranking system. The
server solves many challenging problems such as cheat prevention and client synchronization
with minimal latency. (28 kloc)
No Combat Fatigue, a real time strategy game with classical objectives such as mining resources, building bases, producing units and combat. Uses the DirectX API and implements
an A* path finding algorithm with path caching and a basic AI. Written in C++ at the age of 18.
Contributions at Contributed with over 2500 answers in the Java, C++,
Android, Regex, algorithms and multithreading tags since 2010. With a current rating of 145k,
I belong to the top 0.05% users.
Best student in the course Problem Solving and Programming under Pressure.
Proficient with Java, C/C++, Scala, HTML/CSS, Prolog, Matlab, PHP, SQL, Latex, shell scripts
and the following programs/frameworks: Linux, Bash, Emacs, Eclipse, LiftWeb, MySQL, PostgreSQL, SVN, CVS, Apache POI, HttpClient, ASM, JFlex and JavaCUP.
Have experience with Pascal, Basic, Python, Haskell, Javascript, x86 assembly and the
following programs/frameworks: Visual Studio, jQuery, Hibernate, JAXB, JAX-RS, Drupal,
Mercurial, GIT, JSoup and ANTLR.
Apart from spending time with my wife and two daughters, I enjoy solving programming
puzzles and participate in programming contests. Lately I have also done some hobby
research in location obfuscation / privacy. I occasionally practice juggling and long distance
running (have run Stockholm Marathon twice).
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects
K. Palmskog, M. Dam, A. Lundblad, A. Jafari (ICE’13)
Inlined Reference Monitors: Certification, Concurrency and Tree Based Monitoring
A. Lundblad (Ph.D. thesis, 2013)
TreeDroid: A Tree Automaton Based Approach to Enforcing Data Processing Policies
M. Dam, G. Le Guernic, A. Lundblad (CCS’12)
Security Monitor Inlining and Certification for Multithreaded Java
M. Dam, B. Jacobs, A. Lundblad, F. Piessens (MSCS’11)
Provably Correct Inline Monitoring for Multi-threaded Java-like Programs
M. Dam, B. Jacobs, A. Lundblad, F. Piessens (JCS’10)
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
M. Dam, A. Lundblad (TR)
Security Monitor Inlining for Multithreaded Java
M. Dam, B. Jacobs, A. Lundblad, F. Piessens (ECOOP’09)
Verification Condition Generation and Discharge in a Hoare Logic with Recursion
A. Lundblad (M.Sc. thesis, 2007)
Available upon request.
Last updated 2015-01-18
Latest version available at