Seminars at the Faculty of Informatics

Static analysis as a way to fight undecidability

The Faculty of Informatics is pleased to announce a seminar given by Jan Kofron

DATE: Friday, November 28th, 2014
PLACE: USI Lugano Campus, room SI-013, Informatics building (Via G. Buffi 13)
TIME: 10.30

Deciding properties of programs written in common languages is often an undecidable problem (e.g. LTL model checking). On the other hand, in many cases there is a strong need to establish correctness of, or error absence inside software systems. Among other approaches, static analysis can be often used and provide very good results even though the decision process is still undecidable in general. In this talk, we will present the basic principles of static analysis and practically demonstrate it on security analysis of PHP applications.

Jan Kofron is an assistant professor at the Department of Distributed and Dependable Systems, Charles University, Prague, Czech Republic. His research is focused on verification of software systems, in particular code model checking and static analysis of dynamic programming languages, in particular PHP.

HOST: Prof. Natasha Sharygina