After advising and induction events, staff and students are pictured enjoying a welcome reception and orientation activities, coordinated by Uta Hinrichs. The annual orientation gaming session proved as popular as ever and offered retro classic digital games and traditional board games. The gaming session was closely followed by a well attended welcome reception for the … Computer Science Orientation and Welcome 2017
ACM SIGPLAN has judged Ott: Effective Tool Support for the Working Semanticist, by Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, and Rok Strniša, to be the recipient of the Most Influential ICFP Paper Award for 2017. From the citation: “Over the past ten years, ICFP researchers have benefitted tremendously … Ott: Effective Tool Support for the Working Semanticist
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
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
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.
At the Cyber Academy’s International Conference on Big Data in Cyber Security on May 10 2017 at Edinburgh Napier’s Craiglockhart Campus, PhD student Haifa Al Nasseri won two 3rd prizes. One was for her research poster on Cloud Virtual Network Isolation Security and the other was for her team’s efforts in the Splunk Hackathon.