My name is Pieter Agten and I'm a researcher in the iMinds-DistriNet research group of the Department of Computer Science at KU Leuven, under supervision of Prof. Frank Piessens and Prof. Bart Jacobs. I'm funded by a fellowship of the Research Foundation Flanders (FWO).
My research interests lie in software security, including low-level security, web application security and formal methods. The main focus of my PhD is on fully abstract secure compilation of programs to protected module architectures and its applications for sound modular verification of imperative programs running in an unverified context. In more human terms, this means I'm working on techniques for allowing programmers to reason about the security of their program at the source code level, without having to worry about implementation details of the compiler or the system the program will be running on.
I'm also into embedded systems, analog and digital electronics and additive manufacturing (3D printing), but those are hobbies rather than research subjects. You can find traces of some of these hobbies on my GitHub and Google Code pages.
As of October 2015, I'll be working as an embedded software engineer at Prodrive Technologies.
I am or have been a teaching assistent for the following Computer Science courses: