Imperial College London

DrHerbertWiklicky

Faculty of EngineeringDepartment of Computing

Reader in Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8206h.wiklicky Website

 
 
//

Location

 

424Huxley BuildingSouth Kensington Campus

//

Summary

 

Program Analysis - COMP70020

Aims

The module provides an introduction to the areas of classical and probabilistic program analysis.

Starting from methods used in compiler optimisation (Live Variable, etc.) we introduce lattice based approaches to Data-flow Analysis (Monotone Frameworks) and Control-flow Analysis before we discuss the general, semantics based framework of Abstract Interpretation.

Considering quantitative properties of (probabilistic) programs we then discuss how to extend classical program analysis to this setting. This leads to a framework of Probabilistic Abstract Interpretation which is based to an appropriate formal semantics.

Role

Course Leader

Models of Computation - COMP50003

Aims

This module focuses on formal descriptions (models) of computational behaviour. You will learn about:

  • the operational semantics (formal description)  of a simple 'WHILE' programming language
  • the operational semantics of other styles of real-world languages, such as Java and Haskell
  • equivalent  definitions of algorithm, initiated in the 1930s and providing the foundations for programming languages and computation

Role

Course Leader