Congratulations to Ildiko Pete, who successfully defended her thesis today. She is pictured below with supervisor Dr Dharini Balasubramaniam, Internal examiner Dr Adam Barker and external examiner Professor Pete Sawyer, from Lancaster University.
The 33rd BCTCS will be hosted by the School of Computer Science, University of St Andrews, from the 26th to the 28th of April 2017. The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims … Announcement of the 33rd British Colloquium for Theoretical Computer Science
Speaker: Jan de Muijnck-Hughes Abstract Communicating protocols are a cornerstone of modern system design. However, there is a disconnect between the different tooling used to design, implement and reason about these protocols and their implementations. Session Types are a typing discipline that help resolve this difference by allowing protocol specifications to be used during type-checking … Type-Driven Development of Communicating Systems using Idris
Congratulations to colleagues Professor Ian Miguel, Dr Chris Jefferson, Dr Tom Kelsey, Professor Ian Gent and Dr Peter Nightingale, who have secured an impressive EPSRC grant A constraint Modelling Pipeline, with NHS and SME project partners. The three and a half year grant, officially announced yesterday, aims to advance the state of the art in … EPSRC Grant Success: A Constraint Modelling Pipeline