Informatics News

University announces new Vice-Chancellor

University announces new Vice-Chancellor

Posted by pt91 |

Chief Executive of the Economic and Social Research Council and President of Science Europe, Professor Paul Boyle, to succeed Professor Sir Bob Burgess in October

Read More…

14 month RA position in Model Checking

Posted by nw91 at Dec 20, 2013 05:50 PM |

We are recruiting for a 14 month RA position on the EPSRC funded project “p-Automata – Foundations for Probabilistic Model Checking”. The post has a possible 6 month extension. See our advert for further details, or contact Nir Piterman.

Nir Piterman awarded EPSRC grant to verify stochastic programs

Posted by nw91 at Dec 06, 2013 03:35 PM |

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.

HASTE project begins

Posted by nw91 at Oct 24, 2013 01:38 PM |

The HASTE project is a year-long research collaboration funded by the Defence Science & Technology Laboratory (DSTL), with the University of Leicester (via Neil Walkinshaw), The University of Southampton, and Critical Software Ltd. The objective is to develop a selection of novel testing techniques, and to provide advice to aid the MoD with the assurance of increasingly complex military software systems.

Science departments win four Athena SWAN Awards

Science departments win four Athena SWAN Awards

Posted by ap507 at Sep 30, 2013 12:10 PM |

Departments of Health Sciences, Cardiovascular Sciences, Chemistry and Computer Science win Athena SWAN Silver and Bronze Awards

Read More…

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

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

Accessibility

AccessAble logo

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