The School of Computer Science will host a graduation reception on Tuesday 3rd December in the Jack Cole building, between 12.00 and 14.00. Graduating students and their guests are invited to the School to celebrate with a glass of bubbly and a cream cake. Computer Science degrees will be conferred in a morning ceremony in the Younger Hall. Family and friends who can’t make it on the day can watch a live broadcast of graduation. Graduation receptions have been held in the school from 2010.
- When: 13th November 2018 09:30 - 15:30
- Series: Distinguished Lectures Series
- Format: Distinguished lecture
Venue: The Old Course Hotel (Hall of Champions)
9:30 Lecture 1
10:30 Break with Coffee
11:15 Lecture 2
12:15 Break for Lunch (not provided)
14:15 Lecture 3
Lecture 1: Introduction to Scalable Intelligent Systems
Lecture 2: Foundations for Scalable Intelligent Systems
Lecture 3: Implications of Scalable Intelligent Systems
Professor Carl Hewitt is the creator (together with his students and other colleagues) of the Actor Model of computation, which influenced the development of the Scheme programming language and the π calculus, and inspired several other systems and programming languages. The Actor Model is in widespread industrial use including eBay, Microsoft, and Twitter. For his doctoral thesis, he designed Planner, the first programming language based on pattern-invoked procedural plans.
Professor Hewitt’s recent research centers on the area of Inconsistency Robustness, i.e., system performance in the face of continual, pervasive inconsistencies (a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination, i.e., to sweep inconsistencies under the rug). ActorScript and the Actor Model on which it is based can play an important role in the implementation of more inconsistency-robust information systems. Hewitt is an advocate in the emerging campaign against mandatory installation of backdoors in the Internet of Things.
Hewitt is Board Chair of iRobust™, an international scientific society for the promotion of the field of Inconsistency Robustness. He is also Board Chair of Standard IoT™, an international standards organization for the Internet of Things, which is using the Actor Model to unify and generalize emerging standards for IoT. He has been a Visiting Professor at Stanford University and Keio University and is Emeritus in the EECS department at MIT.
A project to build the technology stack outlined in these lectures can bring Scalable Intelligent Systems to fruition by 2025. Scalable Intelligent Systems have the following characteristics:
- Interactively acquire information from video, Web pages, hologlasses, online data bases, sensors, articles, human speech and gestures, etc.
- Real-time integration of massive pervasively inconsistent information
- Scalability in all important dimensions meaning that there are no hard barriers to continual improvement in the above areas
- Close human collaboration with hologlasses for secure mobile interaction. Computers alone cannot implement the above capabilities
- No closed-form algorithmic solution is possible to implement the above capabilities
Technology stack for Scalable Intelligent Systems is outlined below:
- Experiences Hologlasses: Collaboration, Gestures, Animations, Video
- Matrix Discourse, Rhetoric, and Narration
- Citadels No single point of failure
- Massive Inconsistency Robust Ontology Propositions, Goals, Plans, Descriptions, Statistics, Narratives
- Actor Services Hardware and Software
- Actor Many Cores Non-sequential, Every-word-tagged, Faraday cage Crypto, Stacked Carbon Nanotube
For example, pain management could greatly benefit from Scalable Intelligent Systems. Complexities of dealing with pain have led to the current opioid crisis. According to Eric Rodgers, PhD., director of the VA’s Office of Evidence Based Practice:
“The use of opioids has changed tremendously since the 1990s, when we first started formulating a plan for guidelines. The concept then was that opioid therapy was an underused strategy for helping our patients and we were trying to get our providers to use this type of therapy more. But as time went on, we became more aware of the harms of opioid therapy and the development of pill mills. The problems got worse.
It’s now become routine for providers to check the state databases to see if there’s multi-sourcing — getting prescriptions from other providers. Providers are also now supposed to use urine drug screenings and, if there are unusual results, to do a confirmation. [For every death from an opioid overdose] there are 10 people who have a problem with opioid use disorder or addiction. And for every addicted person, we have another 10 who are misusing their medication.”
Pain management requires much more than just prescribing opioids, which are often critical for short-term and less often longer-term use. [Coker 2015; Friedberg 2012; Holt 2017; Marchant 2017; McKinney 2015; Spiegel 2018; Tedesco, et. al. 2017; White 2017] Organizational aspects play an important role in pain management. [Fagerhaugh and Strauss 1977]
Congratulations to our Senior Honours Class of 2018, MSci Honours students and our PhD students Dr Adam Barwell, Dr Martin McCaffery, Dr Gonzalo Mendez and Dr Long Thai, who graduated last month. Students were invited to a reception in the School prior to the ceremony, to celebrate their achievement with staff, friends and family.
Our graduates will move on to a wide variety of interesting and challenging employment and further study opportunities, and we wish them all well with their future careers.
- When: 13th February 2018 09:30 - 15:15
- Where: Byre Theatre
- Series: Distinguished Lectures Series, Systems Seminars Series
- Format: Distinguished lecture
Biography: Dr. Anil Madhavapeddy is a University Lecturer at the Cambridge Computer Laboratory, and a Fellow of Pembroke College where he is Director of Studies for Computer Science. He has worked in industry (NetApp, Citrix, Intel), academia (Cambridge, Imperial, UCLA) and startups (XenSource, Unikernel Systems, Docker) over the past two decades. At Cambridge, he directs the OCaml Labs research group which delves into the intersection of functional programming and systems, and is a maintainer on many open source projects such as OpenBSD, OCaml, Xen and Docker.
9:30: Introduction by Professor Saleem Bhatti
9:35: Lecture 1
10:35: Break with tea and coffee
11:15: Lecture 2
12:15: Lunch (not provided)
14:00: Lecture 3
15:00: Close by Professor Simon Dobson
Lecture 1: Rebuilding Operating Systems with Functional Principles
The software stacks that we deploy across computing devices in the world are based on shaky foundations. Millions of lines of C code crammed into monolithic operating system kernels, mixed with layers of scheduling logic, wrapped in a hypervisor, and served with a dose of nominal security checking on the side. In this talk, I will describe an alternative approach to constructing reliable, specialised systems with a familiar developer experience. We will use modular functional programming to build several services such as a secure web server that have no reliance on conventional operating systems, and explain how to express their logic in a high level, functional fashion. By the end of it, everyone in the audience should be able to build their own so-called unikernels!
Lecture 2: The First Billion Real Deployments of Unikernels
Unikernels offer a path to a more sane basis for driving applications on hardware, but will they ever be adopted for real? For the past fifteen years, an intrepid group of adventurers have been developing the MirageOS application stack in the OCaml programming language. Along the way, it has been deployed in many unusual industrial situations that I will describe in this talk, starting with the Docker container stack, then moving onto the Xen hypervisor that drives billions of servers worldwide. I will explain the challenges of using functional programming in industry, but also the rewards of seeing successful deployments quietly working in mission-critical areas of systems software.
Lecture 3: Programming the Next Trillion Embedded Devices
The unikernel approach of compiling highly specialised applications from high-level source code is perfectly suited to programming the trillions of embedded devices that are making their way around the world. However, this raises new challenges from a programming language perspective: how can we run on a spectrum of devices from the very tiny (with just kilobytes of RAM) to specialised hardware? I will describe the new frontier of functional metaprogramming (programs which generate more programs) that we are using to compile a single application to many heterogenous devices, and a Git-like model to coordinate across thousands of nodes. I will conclude with by motivating the need for a next-generation operating system to power new exciting applications such as augmented and virtual reality in our situated environments, and remove the need for constant centralised coordination via the Internet.
Congratulations to our student representatives for 2017/8, elected by their peers last month. Our Reps are integral to the proactive communication channel between staff and the students and also chair and run the Staff-Student Consultative Committee (SSCC) held each semester within the School.
- Lewis Mazzei (1st year, minutes)
- Beatrice Olivera (1st year, minutes)
- Jamie Bell (2nd year, careers)
- Gergely Flamich (School President)
- Arnold Haidu (MSc, library)
- Stacey Izmaylova (3rd year, social)
- Xu Zhu (PhD, Postgrad)
- Keno Schwalb (4th year)
- Paul McKay (Evening)
Image courtesy of Ula Rustamova
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
- When: 10th October 2017 09:30 - 16:00
- Where: Byre Theatre
- Series: Distinguished Lectures Series
- Format: Distinguished lecture
What Every Computer Scientist Should Know About Computer History
Update: Lectures will be live streamed at this link.
Distinguished Lecture Series, Semester 1, 2017-18
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.
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
Lecture 1. The early history of computing: Ada Lovelace, Charles Babbage, and the history of programming
Lecture 2. Case study, Alan Turing, Grace Hopper, and the history of getting things right
Lecture 3: What do historians of computing do, and why is it important for computer scientists today
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 echo the sentiments expressed by our Head of School, Professor Steve Linton, during his Graduation address.
“For what you have achieved here, we are so proud of you. For what you will achieve, we wait eagerly and will always be proud. And wherever you are, we hope you will always regard St Andrews as a place you can call home.”
Our graduates will indeed move on to a wide variety of interesting and challenging employment and further study opportunities, and we wish them all well with their future careers.
We are delighted to congratulate the student representatives for 2016/7, elected by their peers. Reps play a very important part in the life of the school by providing a healthy communication channel between staff and the students they represent, and also by chairing and running the Staff-Student Consultative Committee, amongst many other roles.
The reps are shown outside the Jack Cole Building in November 2016, and are (from left to right)
- Juris Bogusevs (1st year)
- Seamus Bonner (1st year, library)
- Keno Schwalb (3rd year, careers)
- Christa-Awa Kollen (welfare)
- Vika Anisimova (4th year)
- Anastasiia Izmailova (2nd year, social)
- Masha Nedjalkova (masters, careers, minutes)
- Fearn Bishop (postgraduate research)
- Robin Nabel (school president)
Many thanks to the reps for arranging this photo (taken by Alex Bain who can be seen in the reflection), which should help staff and students put faces to the names.
Thanks to everyone who volunteered to be a student rep.
Tell us what you think of our videos and you could win a £20 Netflix or Amazon voucher!
You will be asked to watch and assess the video quality of four 1-minute online video clips, as well as complete a short questionnaire related to your regular video usage and your energy-saving awareness and preferences. Your participation should take around 20 to 30 minutes.
Optionally, you will be entered into a prize draw for a £20 Netflix or Amazon voucher.
You must be 18 years or over.
Please contact Oche Ejembi <firstname.lastname@example.org>
UTREC approval code: CS12016
Researcher: Oche Ejembi
Supervisor: Prof. Saleem Bhatti