Members
Coen De Roover
Vrije Universiteit Brussel
Coen De Roover is an assistant professor at the Software Languages Lab of the Vrije Universiteit Brussel in Belgium. The central theme of his research is the design of program analysis and transformation techniques, and their application in software engineering tools for quality assurance. Example analysis techniques include abstract interpretation of dynamically-typed programs in general, and of JavaScript programs in particular. Example tools include tools for detecting user-specified bug patterns in an implementation, or for validating an implementation with respect to a user-specified design. Here, an executable logic often serves as the tool’s specification language.
Elisa Gonzalez Boix
Vrije Universiteit Brussel
Elisa Gonzalez Boix is a professor of Computer Science at the Software Languages Lab of the Vrije Universiteit Brussel in Belgium. Her research domain is distributed systems. Her current research focusses on language technology to support the design of both programming languages and tools with a focus on mobile and cloud systems, internet of things and complex concurrent systems.
Frank Piessens
Katholieke Universiteit Leuven
Frank Piessens is a professor at the Distributed Systems and Computer Networks research group at the Computer Science department of the Katholieke Universiteit Leuven. His main research interests are in the field of software security, where he focuses 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, language based security and hardware-software co-design for security. These techniques are relevant for many types of software systems, including web applications, embedded software, mobile applications and so forth.