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
Event details When: 28th September 2017 13:00 – 14:00 Where: Cole 1.33b Series: Systems Seminars Series Format: Seminar Michael Pitcher’s abstract Tuberculosis (TB) is one of the world’s most deadly infectious diseases, claiming over 1.4 million lives every year. TB infections typically affect the lungs and treatment regimens are long and arduous, requiring at least … SRG Seminar: “Simulating a pulmonary tuberculosis infection using a network-based metapopulation model” by Michael Pitcher and “A Fake City of People: Modeling the Co-evolution of City and Citizens” by Xue Guo
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)
Abstract: Plan and goal recognition is the task of inferring the plan and goal of an agent through the observation of its actions and its environment and has a number of applications on computer-human interaction, assistive technologies and surveillance. Although such techniques using planning domain theories have developed a number of very accurate and effective … Felipe Meneguzzi (PUCRS): Plan Recognition in the Real World (School Seminar)
Abstract: An email client. An instant messenger. A real-time financial market data viewer and news reader. A portfolio viewer. A note taker, file manager, media viewer, flight planner, restaurant finder… All built into one secure mobile application. On 4 different mobile operating systems. Does this sound challenging? Mark from Bloomberg’s Mobile team will discuss how … Mark Olleson (Bloomberg): Super-sized mobile apps: getting the foundations right (School Seminar)
Abstract: Modern, complex systems are likely to execute in open environments (e.g., applications running over the Internet of Things), where changes are frequent and have the potential to cause significant negative consequences for the application. A better understanding of the dynamics in the environment will enable applications to better automate planning for change and remain … Siobhán Clarke (Trinity College Dublin): Exploring Autonomous Behaviour in Open, Complex Systems (School Seminar)