Skip to content
  • Home
  • About
  • School of Computer Science
  • University of St Andrews
  • Top
University of St Andrews crest and School of Computer Science logo

Computer Science Blog

University of St Andrews crest and School of Computer Science logo

Computer Science Blog

Skip to content
  • About
  • School of Computer Science
  • University of St Andrews

Model Checking and Cache Coherence Protocols – Dr. Ruth Hoffmann

Posted on November 29, 2017 by ya8
Posted in Functional Programming, Talk

Post navigation

Join us for Graduation: Thursday 7th December
Salesforce Graduate Opportunities

News and events from the School of Computer Science at the University of St Andrews.

Tags

access alumni Award BBQ Bubbly cakes charity children in need CodeFirst:Girls computer science DLS Fizz Google hackathon HCI honours internships J.P. Morgan JH London marathon masters MSc open virtual worlds outreach phd Pictures Poster posters Postgraduate Reception research SACHI scholarship School of Computer Science ScotlandIS secondary school SICSA students Summer school Sunshine Teaching Twiglets Undergraduate viva Yummy

Categories

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
© 2026 University of St Andrews is a charity registered in Scotland, No SC013532.
School of Computer Science, Jack Cole Building, North Haugh, St Andrews, Fife KY16 9SX, Scotland, UK.
Phone: +44 (0)1334 463253, Email: admin-cs@st-andrews.ac.uk
  • Twitter
  • Facebook
  • University of St Andrews
  • Help
  • Terms and Conditions