Computer Science @ University of St Andrews

University of St Andrews crest

News and Events

News and events are published via the School blog.


n-Queens Completion is NP-Complete
Ian Gent, Christopher Jefferson and Peter Nightingale have shown that a classic chess puzzle is NP-Complete. Their paper “Complexity of n-Queens Com [...]
MSc Poster Demo Session 2017
After a year of hard work, and an intensive summer dissertation, our MSc students submitted their dissertations last week and presented their project [...]
Postgraduate Dinner at Fairmont Hotel
Postgraduate student, Paul Dobra organised an end of semester celebratory dinner at the Fairmont Hotel in April. The social event marked the end of te [...]
Computer Science: June Graduation 2017
Congratulations to our Senior Honours Class of 2017, MSci Honours students and our PhD students Dr Anne-Marie Mann, Dr Ildiko Pete, Dr Yuchen Zhao and [...]
Senior Honours: Poster Presentation and Demo Session 2017
Our talented hard working SH students from CS4099: Major Software Project and CS4098: Minor Software Project presented their posters and final year so [...]
Junior Honours: Software Team Project 2017
Earlier today our Junior Honours students presented their Team Projects. The projects involve substantial team based software engineering and rely hea [...]
Hot off the press: Type-Driven Development with Idris
A new book, Type-Driven Development with Idris has just been published by Manning Publications. Written by Dr Edwin Brady, the creator of Idris, Type- [...]

Ongoing and future events

Daniel Sorin (Duke University): Designing Formally Verifiable Cache Coherence Protocol (School Seminar)  next week 
Seminar: 26th Sep 2017 at 2:00 pm to 3:00 pm (in Cole 1.33a) School Seminar Series Abstract: The cache coherence protocol is an important but notoriously complicated part of a multicore processor. Typical protocols are far too compli [...]
Maja Popović (Humboldt-Universität zu Berlin): (Dis)similarity Metrics for Texts (School Seminar)  next week 
Seminar: 29th Sep 2017 at 1:00 pm to 2:00 pm (in Cole 1.33a) School Seminar Series Abstract: Natural language processing (NLP) is a multidisciplinary field closely related to linguistics, machine learning and artificial intelligence. [...]
Siân Lindley (Microsoft Research Cambridge) School Seminar
Seminar: 4th Oct 2017 at 2:00 pm to 3:00 pm (in Purdie Theatre C) School Seminar Series Please note that this seminar is currently scheduled for Purdie D however this location may change closer to the date. Wednesday October 4th between 1 [...]
DLS: What Every Computer Scientist Should Know About Computer History
Distinguished lecture: 10th Oct 2017 at 9:30 am to 4:00 pm (in Byre Theatre) Distinguished Lectures Series What Every Computer Scientist Should Know About Computer History Prof Ursula Martin Distinguished Lecture Series, Semester 1, 2017-18 Biography: Profe [...]
Mark Olleson (Bloomberg): Super-sized mobile apps: getting the foundations right (School Seminar)
Seminar: 17th Oct 2017 at 2:00 pm to 3:00 pm (in Cole 1.33a) School Seminar Series Abstract: An email client. An instant messenger. A real-time financial market data viewer and news reader. A portfolio viewer. A note taker, file mana [...]