VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Frank Piessens

Registered user since Tue 22 Jun 2021

Name:Frank Piessens
Bio:

I am a professor in the research group DistriNet (Distributed Systems and Computer Networks) at the Computer Science department of the Katholieke Universiteit Leuven. Since 1999, my main research interests are in the field of software security, where I focus on the development of high-assurance techniques to deal with implementation-level software vulnerabilities and bugs, including techniques such as software verification, run-time monitoring, type systems and language based security. These techniques are relevant for many types of software systems, including web applications, embedded software, mobile applications and so forth. In the period 1992-1998, I have worked on foundations of semantic modeling. In particular, I studied categorical approaches to semantic modeling. Using sketches as a specification formalism, I investigated the problem of deciding semantic equivalence of specifications.

Country:Belgium
Affiliation:iMinds - Distrinet, KU Leuven

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile