The EPSRC will fund the the new Research Institute on Verified Trustworthy Software Systems (VeTSS) at Imperial for five years, 2017-2022. The main purpose of VeTSS is to support program analysis, testing and verification, bringing together academics, industrialists and government employees to achieve guarantees of software correctness, safety, and security.
Posts By: Teresa Carbajo Garcia
Talks by Dana Scott, ACM A.M. Turing award 1976, Thursday 26 May, Friday 27th May and Wednesday 1 June
Dana Scott, ACM A.M. Turing award 1976, gave a very well attended talk at Imperial on Stochastic λ-Calculus on Thursday 26th of May. The talk and lecture were part of a series of talks by Dana Scott in London in May and June, listed below. Stochastic λ-Calculus. Thursday 26 May, Imperial College London. Abstract: It is… Read more »