Curriculum vitae Lieven Desmet

Research links

Lieven DesmetCurriculum Vitae: Lieven Desmet

Contact address:

Lieven Desmet
Department of Computer Science
Celestijnenlaan 200 A - KUL Postbox 2402
B-3001 Heverlee
BELGIUM

E-mail: click here

LinkedInhttp://www.linkedin.com/in/lievendesmet

Work experience

  • Jun 2009 - now, Research Manager Secure Software at Katholieke Universiteit Leuven

    Research on Secure Software Engineering at the DistriNet Research Group.

    Most recent research topics and publications can be found here.

  • Jan 2007 - May 2009, Post-doc researcher at Katholieke Universiteit Leuven
  • March 2008 - August 2008, Visiting Researcher at European Microsoft Innovation Center (Emic, Aachen)

    6-month research visit: Formal verification of the Microsoft Viridian Hypervisor in the context of the Verisoft XT project

  • Sept 2002 - Jan 2007, PhD student at Katholieke Universiteit Leuven

    PhD Thesis: Static and Dynamic Verification of Indirect Data Sharing in Component-based Applications

  • August 2001, Sysadmin at DistriNet, Katholieke Universiteit Leuven

    Studentjob: Small programtasks and automazition scripts for the DistriNet Research Group.

  • July/August 2000, Java Developer at VALinux/Life, Haasrode
    Internship and studentjob: Design and implementation of a language learning software system.
  • September/October 1999, Sysadmin at Internet Security Systems, Brussels

    Studentjob: system administration, setup of several services and machines with the Linux OS, automatic reinstall of pc classes, hardening of NT machines, ...

Education

Core Expertise

  • Web Application Security
  • Software Verification
  • Virtualization

Computer Experience

  • Computer languages: Java, C#, Perl, bash, C/C++, ...

  • Component models: J2EE, .NET
  • Web technologies: Servlets, JSP, Struts, PHP, ASP.NET,...
  • Annotation languages and verification tools: JML, ESC/Java2, Vcc, Spec#, ...

Teaching experience

K.U.Leuven courses

Lecturer
  • 2009-2010: Secure Application Development
  • 2008-2009: Secure Application Development
  • 2007-2008: Capita Selecta on Secure Software
Teaching Assistent
  • 2006-2008: Computer Networks
  • 2002-2007: Computer Networks and Distributed Systems
  • 2002-2008: Internet Infrastructure
  • 2002-2003: Fundamentals of Computer Science

SecAppDev courses

Advisor for master theses

JSP/Servlets courses

KHLim Guest Lecturer
  • November 2006: JSP/Servlets
KVIV courses
  • October 2004: Objectgerichte Ontwikkeling van Veilige Software in een Web-omgeving: Dynamische webapplicaties met Servlets en JSP
VDAB courses
  • November 2003: JSP Basic

Linux courses

IEEE/ISW/L2U/Ulyssis
  • March 2005: Advanced Linux workshop
Ren (Voorgezette academische lerarenopleiding)
  • 2003 & 2004: Introducing a Linux mailsystem within the school
  • 2003 & 2004: Introducing a Linux webserver within the school

Extra-curricullar activities

OWASP
VTK Student Union
KotNet/ICT
  • 1998-2005: System administrator and responsible for the student lab Computer Science (CWLab)
  • 1997-2005: System administrator KotNet (offering several services for the internal student network at our university)
K.U.Leuven
  • 2002-2005: Organiser of several festivities for the department of Computer Science, representative of doctoral students, ...
  • July 2006 - now: Member of the K.U.Leuven team at Capture-the-flag security contests

Relevant keywords

  • Cross-Site Request Forgery
  • Web Application Security
  • Virtualization
  • Cloud computing
  • Component-based software engineering
  • Component contracts
  • Security automata
  • Static and dynamic program verification
  • Software architecture
  • Aspect-oriented software engineering
  • Secure software engineering
  • Web application firewalls
  • Network infrastructure and network security
  • Firewalling, networking & advanced routing (Windows, Linux, Cisco)
  • Web services
  • Tomcat web container