Computer Science News
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.
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.
Departments of Health Sciences, Cardiovascular Sciences, Chemistry and Computer Science win Athena SWAN Silver and Bronze Awards
The department is delighted that its commitment to advancing women's careers in CS has been rewarded with an Athena SWAN bronze award!