Pieter Agten

About

Profile picture

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.

Publications

2015

2013

2012

Awards

Teaching activities

I am or have been a teaching assistent for the following Computer Science courses:

H0N00A
Design of Software Systems (2014 - 2015)
H04J9B
Ontwerp van softwaresystemen (2013 - 2015)
H01P5A
Computerarchitectuur en systeemsoftware (2013 - 2015)
G0Q43A
Computer Networks (2011 - 2015)
G0Q40C
Software-ontwerp (2011 - 2013)

Contact

Pieter Agten
Dept. Computer Science
Celestijnenlaan 200A
B-3001 Heverlee
Belgium
E: {firstname}.{lastname}@gmail.com
E: {firstname}.{lastname}@cs.kuleuven.be
P: +32 (0)16 327 133