The SICSA Summer School on Practical Types will give participants an overview of how types can be used in practice. Types have provided numerous benefits in programming language research, including language design and compiler construction, over the years and this trend looks set to continue into the future. But types have also found much wider practical application, … SICSA Summer School on Practical Types
The School of Computer Science welcomes Timothy Jones, a PhD student from Victoria University of Wellington,New Zealand. Abstract: Adding object branding to an existing structural system integrates nominal and structural typing without excessively complicating the type system. We have implemented brand objects to explicitly type objects, using existing features of the structurally typed language Grace, … Seminar ‘TODAY’: Brand Objects and Gradual Contracts by Timothy Jones
A PhD studentship on “Reasoning about Racy Programs under Relaxed Consistency” is available in the School of Computer Science at the University of St Andrews, funded by Microsoft Research and EPSRC. The project will involve developing reasoning principles and tools for relaxed memory consistency settings. This is a key problem in shared-memory concurrency at the … PhD Studentship: Reasoning about Racy Programs under Relaxed Consistency
Welcome to Mr Nicol Thomson who joined us recently as a technician. Nicol has been working in the school casually since 2014 on a number of Lab Designs, technical support and the development of the Laddie unit you can see below. Stuart our head of systems said, “Nicol is an excellent addition to the school’s … Welcome to Mr Nicol Thomson
On July 24th, Dr Vinton Cerf was awarded the degree of Doctor of Science, honoris causa, by the University of St Andrews. Dr. Vint Cerf, a founding father of the Internet, graduated alongside our new PhD and Honours graduates. In his Laureation address, Professor Saleem Bhatti highlighted to the audience that, “The internet is mankind’s … Staff and Students with Dr Vint Cerf
We are delighted to welcome Dr Uta Hinrichs as a new lecturer in Computer Science. Uta has been a postdoctoral research fellow with SACHI since 2012 and she now co-leads SACHI along with her colleagues. Prior to joining the University of St Andrews, Uta studied in the University of Calgary in Canada. Her PhD combined … Welcome to Dr Uta Hinrichs
Congratulations to Dr Luke Hutton, who successfully defended his PhD thesis earlier today. He is pictured below with Supervisor Dr Tristan Henderson, External Examiner Prof. Bernd Stahl from De Montfort University and Internal Examiner Prof. Ian Gent.