Postgraduate

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.

A PhD studentship, in collaboration with MSR (Cambridge)

Reasoning about Racy Programs under Relaxed Consistency A PhD studentship, in collaboration with MSR (Cambridge) http://research.microsoft.com/en-us/collaboration/global/apply-europe.aspx> Each Microsoft scholarship consists of an annual bursary up to a maximum of three years. The amount varies in different countries and may depend on specific arrangement with public research funding agencies. The bursary continues automatically the following years, A PhD studentship, in collaboration with MSR (Cambridge)