Nir Piterman awarded EPSRC grant to verify stochastic programs

Congratulations to Nir Piterman for being awarded an EPSRC first-grant. The work study a new computational model to help verification of programs that rely on stochasticity to fulfill their goals. The work will concentrate on making this model more general and using it for being able to describe more properties of the checked (probabilistic) programs.

Filed under:

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.