On October 10th, we were delighted to welcome back Professor Ursula Martin from the University of Oxford, to deliver the semester one distinguished lecture series in the Byre Theatre. Earlier in her career Prof Martin was professor of Computer Science here, and in fact only the second female professor in the history of the University … Distinguished Lecture Series 2017: Professor Ursula Martin
Following on from a successful visit last year, J.P. Morgan returned to the School of Computer Science last week, to promote tech careers, internships and other student opportunities. Staff from the company and CS students are pictured viewing project challenges and their solutions highlighted in their technology showcase whilst discussing future career openings and enjoying … Computer Science hosts J.P. Morgan
We are delighted to announced that the School of Computer Science has achieved an Athena SWAN Bronze Award, as recognition of our commitment to advancing gender equality. Almost all teaching staff contributed to the application for the award, as well as many other staff in all categories, research students, masters students, and undergraduates. In congratulating … School achieves Athena SWAN Bronze Award
Statistical models in e.g. machine learning are traditionally expressed in some sort of flow charts. Writing sophisticated models succinctly is much easier in a fully fledged programming language. The programmer can then rely on generic inference algorithms instead of having to craft one for each model. Several such higher-order functional probabilistic programming languages exist, but their semantics, and hence correctness, are not … Semantics for probabilistic programming – Dr Chris Heunen
Congratulations to Martin McCaffery, who successfully defended his thesis today. He is pictured with supervisor Dr Mark-Jan Nederhof, Internal examiner Dr Graham Kirby and external examiner Dr Maja Popović from Humboldt-Universität zu Berlin.
Postgraduate students, led by Paul Dobra, organised the first ever CS Ball in August. The celebration coincided with finishing summer dissertations and the annual poster and demo session. The school sponsored Smurfalicious Blue Ball proved very popular and sold out of tickets earlier in August. The theme was blue and the location was The old … Computer Science Ball 2017
Congratulations to St Andrews student Gala Malbasic, who has been selected as one of the finalists in the Young Software Engineer of the Year Award 2017. The Young Software Engineer of the Year Awards are given for the best undergraduate software projects completed by students studying computer science and software engineering in Scotland. Gala graduated … Gala Malbasic: Finalist in Scottish Software Engineer of the Year
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
What Every Computer Scientist Should Know About Computer History Prof Ursula Martin Update: Lectures will be live streamed at this link. Distinguished Lecture Series, Semester 1, 2017-18 Biography: Professor Ursula Martin CBE FREng FRSE joined the University of Oxford as Professor of Computer Science in 2014, and is a member of the Mathematical Institute. She holds … DLS: What Every Computer Scientist Should Know About Computer History
Abstract: The cache coherence protocol is an important but notoriously complicated part of a multicore processor. Typical protocols are far too complicated to verify completely and thus industry relies on extensive testing in hopes of uncovering bugs. In this work, we propose a verification-aware approach to protocol design, in which we design scalable protocols such … Daniel Sorin (Duke University): Designing Formally Verifiable Cache Coherence Protocol (School Seminar)