Willem Penninckx

Willem Penninckx

Computer science related topics that interest me (not necessarily worked on):

  • Software verification
  • Operating systems
  • Techniques to increase software quality: reliability, extensibility, modifiability
  • 2D graphics
  • ...

 

Some work/projects:

 

Teaching: I am involved with the following courses:

  • Data structures and algorithms (G0P81A)
  • Software design (G0Q40C)
  • Fundamentals of Computer Science ("Methodiek van de informatica") (H01B6B)

 

 

Key publications:

  1. Willem Penninckx, Bart Jacobs, Frank Piessens, Sound, modular and compositional verification of the input/output behavior of programs, Programming Languages and Systems, volume 9032, pages 158-182, London, UK, 14-16 April 2015 download0 478356bibtex
  2. Willem Penninckx, Bart Jacobs, Frank Piessens, Modular, compositional and sound verification of the input/output behavior of programs, Technical Report (CW Reports), volume CW663, Department of Computer Science, KU Leuven, May 2014 download0 456820bibtex
  3. Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens, Software verification with VeriFast: Industrial case studies, Science of Computer Programming, volume 82, issue 1, pages 77-97, 01 March 2014 download0 388689bibtex
  4. Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens, Sound formal verification of Linux's USB BP keyboard driver, NASA Formal Methods, volume 7226, pages 210-215, Norfolk, Virginia, USA, 3-5 April 2012 download0 336725bibtex
  5. Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens, VeriFast: A powerful, sound, predictable, fast verifier for C and Java, NASA Formal Methods, volume 6617, pages 41-55, Pasadena, USA, 18-20 April 2011 download0 312066bibtex
[More...]
 

 

Contact info

  • Office: 05.34
  • Address:
    Dept. Computer Science
    Celestijnenlaan 200A - bus 2402
    B-3001 Heverlee
    BELGIUM
  • Tel: +3216327571
  • Fax: +32 16 327996
  • Email: Willem Penninckx