PhD Studentship: Reasoning about Racy Programs under Relaxed Consistency

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

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

Staff and Students with Dr Vint Cerf

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

Welcome to Dr Uta Hinrichs

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

PhD Viva Success

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.

ELT Science Summer School @ Computer Science

High school pupils from across the world are given a taste of what studying computer science at a Scottish university involves. Pupils are guided through fun, hands-on programming activities. These sessions are part of the ELT Science Summer School

LIFT OFF to Success

This session is run as part of the LIFT OFF to Success (LO2S) programme and is aimed at giving school pupils an insight into what it would be like to study computer science at university. During the session, pupils take part in a practical programming exercise, where they learn about software development techniques and gain … LIFT OFF to Success

LIFT OFF to Success

This session is run as part of the LIFT OFF to Success (LO2S) programme and is aimed at giving school pupils an insight into what it would be like to study computer science at university. During the session, pupils take part in a practical programming exercise, where they learn about software development techniques and gain … LIFT OFF to Success