PhD

Graduation November 2015

Congratulations to the Masters Class of 2015, and PhD students Dr Luke Hutton and Dr Chris Schneider who graduated on Monday. Dr Chonlatee Khorakhun graduated in absentia. Students were invited to a reception in the school to celebrate their achievement with staff, friends and family. Our graduates have moved on to a wide variety of Graduation November 2015

Distinguished Lecture: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

The first of this academic year’s distinguished lectures will be given by Professor Joe Armstrong, co-inventor of Erlang, on Monday 16th November 2015 at The Byre Theatre. Abstract: To build a scalable system the important thing is to make small isolated independent units. To scale up we just add more units. To build a fault-tolerant Distinguished Lecture: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

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

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

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

PhD Viva Success

Congratulations to To Chris Schneider, who has successfully defended his PhD thesis. Chris is pictured celebrating with supervisor Prof Simon Dobson, external examiner Dr Radu Calinescu from the University of York, and internal examiner Dr Graham Kirby.

Another Successful PhD Viva

Congratulations to To Masih Hajiarabderkani, who has successfully defended his PhD thesis. Pictured celebrating with supervisor Dr Graham Kirby and Internal examiner Dr John Thomson.