Katholieke Universiteit Leuven

Post-Doc, Computer Science

Thesis Title: Model Checking Pointer Safety in Compiled Programs

Contact Information

Homepage:

http://www.nameless-host.de/
IM:

skype:fflamdwyn
 
Department Colleagues (28)

Joaquin Vanschoren

Rutger Claes


Peter Kravanja

Nick Nikiforakis

Following the Work of (22)

Hazel Parry

Jim Woodcock


Mario Henrique Cruz Torres

Ashish Doshi

Work being Followed by (18)

x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012