Update, 2021 Over the years since we published this research, many people have approached us having solved the n queens puzzle, either for one n like 8 or 1000, or having written an algorithm to solve it for different sizes. Unfortunately this is not a major result in Computer Science and does not make one … n-Queens Completion is NP-Complete
After a year of hard work, and an intensive summer dissertation, our MSc students submitted their dissertations last week and presented their project posters and artefacts. The eventful poster demonstration session provides a great opportunity for students to meet with second markers, reflect upon their MSc experience and appreciate the diverse projects completed by their … MSc Poster Demo Session 2017
Postgraduate student, Paul Dobra organised an end of semester celebratory dinner at the Fairmont Hotel in April. The social event marked the end of teaching and provided a chance to relax before the commencement of dissertation. Paul supplied comments and shared some photos from the occasion. “There are rather few occasions not to be happy … Postgraduate Dinner at Fairmont Hotel
Talk Title: Monads and Lenses Abstract: Monads are an abstraction that can be used to mathematically model computational effects (among other things). Lenses are an abstraction for bidirectional computation, a generalization of the view-update problem. In this talk I will discuss ways to combine them and why it might be interesting to do so. … Monads and Lenses – Dr James Cheney
Dr Alan Miller joined other virtual reality educationalists to give an invited keynote talk at the 3rd Immersive Learning Network Conference on Tuesday 27th June. The presentation drew upon two major complementary themes: virtual time travel and the use of immersive technologies for museums.
We would like to cordially invite all staff, students, and alumni to this historic CS event in the making. As you know, other schools in St Andrews have their own annual ball e.g. chem-ball, physics-ball, bull-and-bear (economics) ball etc. For a while, we have wanted our own CS ball – and thanks to a team … First ever Computer Science Ball
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 Dr Michael Mauderer, who graduated on Wednesday. Students were invited to a reception in the School prior to the ceremony, to celebrate their achievement with staff, friends and family. We … Computer Science: June Graduation 2017
“Addiction” Seminar Room 1 School of Medicine 12:00: Alex Baldacchino- Introduction 12:15: Ognjen Arandjelović & Aniqa Aslam- Understanding Fatal and Non-Fatal Drug Overdose Risk Factors in Fife: Overdose Risk (OdRi) tool 12:45: Damien Williams & Fergus Neville- Transdermal alcohol monitoring 13:15: David Harris-Birtill & David Morrison- Narco Cat – waste water analysis in substance misuse … DHSI Seminar Series (Digital Health Science Initiative)
Event Location: School of Medicine, Seminar room 1 Abstract: Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. We show that session types are encodable in more primitive and foundational pi-calculus types. Besides providing an expressivity result, … Dr. Ornela Dardha’ talk: Session Types Revisited
Congratulations to Long Thai, who successfully defended his thesis today. He is pictured with supervisor Dr Adam Barker, Internal examiner Dr John Thomson and external examiner Dr Rami Bahsoon, from the University of Birmingham. Long is joining Amazon as a Software Engineer.