Distinguished Lecture Series 2017: Professor Ursula Martin

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 of St Andrews.

The lectures covered numerous aspects of the history of computing. A particular highlight was to hear about Ada Lovelace’s early work, on Ada Lovelace day. As a trained mathematician and computer scientist who has studied her papers in detail, Ursula has discovered new insights about Ada’s education and work with Charles Babbage. She also focussed on aspects of computing history that are often ignored, such as history of computing in countries other than the USA or UK. Another aspect was how, even today, the contribution of women in history is often ignored, which Ursula herself has been able to correct in some cases.

The well received lectures centred around what every computer scientist should know about computer history. Professor Martin is pictured at various stages throughout the lectures and with Head of School, Prof Simon Dobson, DLS Coordinator, Prof Ian Gent and Principal and Vice-Chancellor, Prof Sally Mapstone. Read more about Professor Martin and the individual lectures in what every computer scientist should know about computer history. Recordings of each lecture can be viewed at the end of this post.

Images courtesy of Ryo Yanagida.

Lecture 1- The Early History of Computing: Ada Lovelace, Charles Babbage and the early history of programming.

Lecture 2 – Case Study, Alan Turing, Grace Hopper, and the history of programming.

Lecture 3- What do historians of computing do, and why is it important for computer scientists today.

Computer Science hosts J.P. Morgan

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 the complimentary pizza.

J.P. Morgan is a popular destination for our graduates demonstrated by four Alumni (Maria McParland, Nada Kartouch, Conner Somerville and Peter Cockroft) who were part of the team representing the company at the successful event.

School achieves Athena SWAN Bronze Award

Athena SWAN Bronze Award Logo

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 staff, Simon Dobson as Head of School said:

It really does have all our fingerprints on it. The award reflects the fact that we’ve identified things that we wanted to change and have planned how to make them happen: from now on they’ll all just be “how things are” rather than part of an external process.

Semantics for probabilistic programming – Dr Chris Heunen

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 clear. The problem is that the standard semantics of probability theory, given by measurable spaces, does not support function types. I will describe how to get around this.

Event details

  • When: 6th October 2017 12:00
  • Where: Cole 1.33b

Computer Science Ball 2017

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 Manor Hotel, in Lundin Links. The evening comprised of champagne, dinner and a Ceilidh till midnight. Students are pictured enjoying the 3 course dinner and fully embracing the spirit of a Cèilidh. We look forward to seeing them at December Graduation.

Images courtesy of Paul Dobra, Ula Rustamova, Nick Tikhonov, and Xu Zhu.
– Main Organisers: Paul Dobra & Shyam Reyal
– Promotion (online): Yin Noe, Nouchali Reyal
– Promotion (offline): Gillian Baird, Fiona George, Midhat Un Nisa
– Material Design: Yin Noe
– Photography: Ula Rustamova and Nick Tikhonov
– Decorations: Fiona George, Midhat Un Nisa, Anke Shi, Masha Nedjalkova, Sihan Li
– Electronics / Multimedia / Drone: Xu Zhu
– Music for Disco: Blair Fyfe

https://www.facebook.com/csball.standrews/

Gala Malbasic: Finalist in Scottish Software Engineer of the Year

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 in Computer Science from St Andrews earlier this year, her Major Software Project – Leap Up: The New Keyboard Renaissance, incorporated novel uses of the Leap Motion sensor and was supervised by Professor Aaron Quigley.

Previous finalists and prize winners have included,
Simone Ivan Conte, Sam Elliott,Thomas Grimes, Alistair Scott, Craig Paul, Angus MacDonald, Ben Catherall and Graeme Bell. The number of finalists is further testament to the quality of talented students graduating from the School of Computer Science at St Andrews.

The winners of this year’s award will be announced on 5th October 2017!

Computer Science Orientation and Welcome 2017

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 consumption of Twiglets and Irn Bru.

DLS: What Every Computer Scientist Should Know About Computer History

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 an EPSRC Established Career Fellowship, and a Senior Research Fellowship at Wadham College. Her research, initially in algebra, logic and the use of computers to create mathematical proofs, now focuses on wider social and cultural approaches to understanding the success and impact of current and historical computer science research.

Prof Ursula Martin

Prof Ursula Martin

Before joining Oxford she worked at  Queen Mary University of London, where she was Vice-Principal for Science and Engineering (2005-2009), and Director of the impactQM project (2009-2012), an innovative knowledge transfer initiative. She serves on numerous international committees, including the Royal Society’s Diversity Committee and the UK Defence Science Advisory Council.  She worked  at the University of St Andrews from 1992 – 2002, as only its second female professor, and its first in over 50 years. She holds an MA in Mathematics from Cambridge, and a PhD in Mathematics from Warwick.

Timetable:

9.30 Introduction

9.35 Lecture 1:  The early history of computing: Ada Lovelace, Charles Babbage, and the history of programming

10.35 Break with Refreshments Provided

11.15 Lecture 2: Case study, Alan Turing,  Grace Hopper, and the history of getting things right

12.15 Lunch (not provided)

2.30 Welcome by the Principal, Prof Sally Mapstone

2.35 Lecture 3: What do historians of computing do, and why is it  important for computer scientists today

3.30 Close

Lecture 1. The early history of computing: Ada Lovelace, Charles Babbage, and the history of programming

IN 1843 Ada Lovelace published a remarkable paper in which she explained  Charles Babbage’s designs for his Analytical Engine. Had it been built, it would have had in principle the same capabilities  as a modern general purpose computer. Lovelace’s paper is famous for its insights into more general questions, as well as for its detailed account of how the machine performed its calculations – illustrated with a large table which is often called, incorrectly, the “first programme”.   I’ll talk about the wider context; why people were interested in computing engines; and some of the other work that was going on at the time, for example Babbage’s remarkable hardware description language. I’ll  look at different explanations for why Babbage’s ideas did not take off, and give a quick overview of what did happen over the next 100 years, before  the invention of the first digital computers.

Lecture 2. Case study, Alan Turing,  Grace Hopper, and the history of getting things right

Getting software right was a theme of programming for the days of Babbage onwards. I’ll look at the work of pioneers Alan Turing and Grace Hopper, and talk about the long interaction of computer science with logic, which has led to better programming languages, new ways to prove programmes correct, and sophisticated mathematical theories of importance in their own right.  I’ll look at the history of the age-old debate about whether computer science needs mathematics to explain its main ideas, or whether practical skills, building things and making things simple for the user are more important.

Lecture 3: What do historians of computing do, and why is it  important for computer scientists today

When people think about computer science, they think about ideas and technologies that are transforming the future – smaller faster smarter connected devices, powered by, AI, and big data – and looking at the past can be seen as a bit of a waste of time. In this lecture I’ll look at what historians do and why it is important; how we get history wrong; and in particular often miss the contribution of of women.  I’ll illustrate my talk with  my own work on Ada Lovelace’s papers, to show how  detailed historical work is needed to debunk popular myths – it is often claimed that Lovelace’s talent was  “poetical science” rather than maths, but I’ve shown that she was a gifted perceptive and knowledgeable mathematician. I’ll explain how the historian’s techniques of getting it right can help us get to grip with  topical problems like “Fake news”, and give us new ways of thinking about the future.

Event details

  • When: 10th October 2017 09:30 - 16:00
  • Where: Byre Theatre
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

Daniel Sorin (Duke University): Designing Formally Verifiable Cache Coherence Protocol (School Seminar)

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 that they can be completely formally verified. Rather than innovate in verification techniques, we use existing verification techniques and innovate in the design of the protocols. We present two design methodologies that, if followed, facilitate verification of arbitrarily scaled protocols. We discuss the impact of the constraints that must be followed, and we highlight possible future directions in verification-aware microarchitecture.

Speaker Bio:
Daniel J. Sorin is the Addy Professor of Electrical and Computer Engineering at Duke University. His research interests are in computer architecture, with a focus on fault tolerance, verification, and memory system design. He is the author of “Fault Tolerant Computer Architecture” and a co-author of “A Primer on Memory Consistency and Cache Coherence.” He is the recipient of a SICSA Distinguished Visiting Fellowship, a National Science Foundation Career Award, and Duke’s Imhoff Distinguished Teaching Award. He received a PhD and MS in electrical and computer engineering from the University of Wisconsin, and he received a BSE in electrical engineering from Duke University.

Event details

  • When: 26th September 2017 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar