School of Computer Science

Simon Fowler Seminar: First-Class Distributed Session Types

Session types codify communication patterns, giving developers guarantees that applications satisfy predefined protocols. Session types have come a long way from their theoretical roots: recent work has seen the implementation of static analysis tools; embeddings into a multitude of programming languages; and the integration of session types into languages as a first-class language construct. Work … Simon Fowler Seminar: First-Class Distributed Session Types

Best Final Year Student at Lovelace 2017

We are delighted to congratulate Iveta Dulova, who attended the 10th BCSWomen  Lovelace Colloquium, and walked away with the prize for “Best Final Year Student”. Iveta’s poster, titled “SensorCube: An end-to-end framework for conducting research via mobile sensing“, was based on her final year project supervised by Dr Juan Ye. The event was held at Aberystwyth University … Best Final Year Student at Lovelace 2017

PhD viva success: Yuchen Zhao

Congratulations to Yuchen, who successfully defended his thesis yesterday. He is pictured with supervisors Dr Tristan Henderson and Dr Juan Ye, Internal examiner Professor Simon Dobson and external examiner Dr Mirco Musolesi, from UCL.

Alex Bain completes 2017 London Marathon

Congratulations to School Manager Alex Bain, who completed the London Marathon again this year, raising funds for Guide Dogs. Alex, runner no 40807 is pictured below with his finisher’s medal. Donations to recognise his achievement and the training involved, can be made via his Justgiving page. Read more about his fundraising on KingdomFM.

MPhil viva sucess: Yunjia Wang

Congratulations to Yunjia Wang, who successfully defended his thesis today. He is pictured with Internal examiner Dr Alice Toniolo and Supervisor Dr Ishbel Duncan.

Junior Honours: Software Team Project 2017

Earlier today our Junior Honours students presented their Team Projects. The projects involve substantial team based software engineering and rely heavily on collaborative development. There are many aspects of software and professional development along with considerable inter-team and intra-team collaborations. This year the students were asked to develop a version of the Settlers of Catan … Junior Honours: Software Team Project 2017