Distinguished Lecture: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

The first of this academic year’s distinguished lectures will be given by Professor Joe Armstrong, co-inventor of Erlang, on Monday 16th November 2015 at The Byre Theatre.Joe Armstrong

Abstract:

To build a scalable system the important thing is to make small isolated independent units. To scale up we just add more units. To build a fault-tolerant system the important thing to do is make small isolated independent units…. Does that sound familiar? Haven’t I seen that somewhere before? Oh yes, in the first paragraph! So maybe scalability and fault tolerance are really different names for the same thing.

This property of systems, namely that fault-tolerant systems were also scalable, was noticed years ago, notably in the design of the Tandem computer system. The Tandem was design for fault tolerance but rapidly became a leading supplier of scalable computer platforms. Thus it was with Erlang.

Erlang followed  a lot of the Tandem design, it was built for fault-tolerance but some of the most successful applications  (such as WhatsApp) use it for its scalability.

In this lecture I’ll talk about the intimate relationship between scalability and fault-tolerance and why they are architecturally the same thing.

I’ll talk about the design of Erlang and why scalable systems have to be built on non-shared memory abstractions.

Bio:

Joe Armstrong has been programming since 1967. He invented the programming language Erlang. He has worked as a programmer, founded a few successful companies and written a few books. He has a PHD in Computer Science from KTH. He is currently Adjunct Professor of Computer Science at the KTH Royal Institute of Technology in Stockholm.

Event details

  • When: 16th November 2015 09:15 - 15:30
  • Where: Byre Theatre
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

PhD Viva Success: C. J. Davies

Congratulations to CJ Davies, who successfully defended his thesis today. CJ is pictured below with supervisor Dr Alan Miller and Dr Luke Hutton. Dr Ishbel Duncan acted as internal examiner and external examiner was Prof. Vic Callaghan from the University of Essex.

DSC_5374

Academic Skills Project 2015/16

Adeola Fabola (one of our PhD students) is coordinating the Academic Skills Project (ASP) in the School of Computer Science for the 2015/2016 session. The ASP is a scheme managed by CAPOD, and run by postgraduates, designed to deliver discipline-specific skills and tailored workshops.

AcademicSkills

Yesterday afternoon the first informative and lively workshop, Securing Internships and Job Placements , attracted in excess of 100 students. After an introduction to the internship recruitment process, and tips on enhancing your required skills and CV, some of our Honours and PhD students shared their internship experiences. Workshop participants heard from Shyam Reyal, Peter Josling, Robin Nabel (Google), Simone Conte (Adobe), Ilia Shumailov (Microsoft, JPMorgan Chase), Maria Kustikova (Soliton Systems) and Nick Tikhonov (Amazon). The workshop session included a panel discussion and Informal networking session.

Details of future workshops are included in their poster.

Details of future workshops

The slides used during the first workshop are now available, you can also sign up for next week’s workshop and remember if you missed yesterday’s session, you can still benefit from the next events. Thanks to Ade, Shyam and all the panel members for running a great event for the CS student community.

Professor Ian Miguel’s Inaugural Lecture

Staff and students from the School of Computer Science attended Prof. Ian Miguel’s Inaugural Lecture in St Salvator’s Quadrangle yesterday evening. The well-received and highly accessible lecture titled “Constraint Satisfaction and the Crystal Maze”, was accompanied by a reception in Lower College Hall. Many will remember celebrating Ian’s installation as a new Professor at December graduation last year. Inaugural lectures provide newly appointed professors the opportunity to inform colleagues, the student community and the general public of their research interests and future plans.

Professor Ian Miguel's Inaugural Lecture

Professor Ian Miguel’s Inaugural Lecture

Aleksejs Sazonovs: Undergraduate Awards Success

Congratulations to our recent graduate Aleksejs Sazonovs who accomplished overall winner in the 2015 Undergraduate Awards for Computer Science yesterday. His Winning Paper: ‘A Metapopulation Model for Predicting the Success of Genetic Control Measures for Malaria’ supervised by Prof. Simon Dobson and Prof. Oscar Gaggiotti, was assessed by panels of international academics and will be published in The Undergraduate Awards Academic Journal. Overall winners are invited to the UA Global Summit, a four-day networking and brainstorming event which brings the world’s top students together for a series of inspirational lectures, workshops and discussions. We look forward to hearing more about the event from Aleksejs in November. Read more about the project in our highly commended post.

Aleksejs pictured at June Graduation

Aleksejs pictured at June Graduation

Computer Science 2015: Orientation and Welcome

After a busy week of induction and module talks, staff and students are pictured during orientation and welcome receptions. Undergraduate students were invited to a gaming session followed by pizza. It’s always rewarding to see so many students and staff welcoming our new 1st year students. Thanks to School president, Maria Kustikova for overseeing events.

Undergraduate gaming and pizza during orientation

Undergraduate gaming and pizza during orientation

Welcome receptions last Wednesday and Thursday evening for our MSc and Honours students, also proved popular and highlight the outstanding student community within the School.

MSc reception September 2015

MSc reception September 2015

Honours welcome reception 2015

Honours welcome reception 2015

Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’

The School of Computer Science is delighted to announce that honorable lecturer Dr Roy Dyckhoff is an invited speaker at the conference on Automated Reasoning with Analytic Tableaux and Related Methods, in Wrocław (Poland) from 20–24 September.

roy

Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference to the coherence/geometricity required of accessibility conditions in Negri’s work on modal logic (and our joint work with her on intermediate logic). It has been known to some since the 1970s that every first-order theory has a coherent conservative extension, and weaker versions of this result have been used in association with the automation of coherent logic; but, it is hard to find the result in the literature. We discuss various proofs of the result, and present a coherentisation algorithm with the desirable property of being idempotent.

Please see: http://tableaux2015.ii.uni.wroc.pl/index.html for further details

Event details

  • When: 20th September 2015 10:00 - 24th September 2015 17:00
  • Format: Conference, Talk

Inaugural Lecture: ‘Constraint Satisfaction and the Crystal Maze’ by Professor Ian Miguel

The School of Computer Science is delighted to announce the Inaugural Lecture of Professor Ian Miguel.

maxresdefault

Title: ‘Constraint Satisfaction and the Crystal Maze’

Abstract: In numerous contexts today we are faced with making decisions of increasing size and complexity, where many different considerations interlock in complex ways. Consider, for example, a staff rostering problem to assign staff to shifts while respecting required shift patterns and staffing levels, physical and staff resources, and staff working preferences. The decision-making process is often further complicated by the need also to optimise an objective, such as to maximise profit or to minimise waste. In this talk I will introduce the field of Constraint Programming, which offers a means of solving such problems automatically. Using an illustrative example from the annals of the Crystal Maze, a popular TV game show from the 1990s, I will explore the process of modelling and solving problems with constraints and discuss some of the most significant challenges in the field.

The lecture will be held at School III, St Salvator’s Quadrangle

and there will be a reception afterwards, in Lower College Hall.

 

Event details

  • When: 23rd September 2015 17:15 - 18:30
  • Where: St Andrews
  • Format: Lecture

Lockheed Martin Award

Congratulations to our recent graduate Sam Elliott, who has won the Lockheed Martin Award SIS-0518for  Best Engineered Project at the Young Software Engineer awards.

The Young Software Engineer of the Year Awards are given for the best undergraduate software projects drawn from across all students studying computer science and software engineering in Scotland.

SIS-0502

Sam’s project, “A Concurrency System for Idris and Erlang”, takes an important step towards addressing the problem of writing large scale software, coordinated across several concurrently running machines, possibly distributed throughout the world. Writing such software is notoriously difficult because not only  do programmers need to think about the progress of a an individual task, they also need to think about how data is communicated between each task.

 

sam_award

 

The project combines Idris, a new programming language developed at the University of St Andrews, with Erlang, a programming language specifically designed for building robust distributed systems, and contributes a new system for running concurrent programs, with guaranteed behaviour, in a robust, industrial strength concurrent environment.

 

Seminar: ‘How to deliver Software Projects and be a Brilliant Software Developer’ by Howard Simms (Apadmi)

Abstract:

This talk will cover a wide range of issues in the practical aspects of delivering software projects, including cohesion and coupling, design patterns, software engineering models, and native vs. hybrid apps. The second part will give an overview of the desirable and undesirable attributes of software developers and how to make your career future proof.

Howard Simms

 

Bio:

 

With more than 15 years’ experience working in the mobile industry, creating technology solutions, building brilliant teams, and delivering continual growth, Howard’s journey at the forefront of one of the world’s most dynamic and exciting technology booms has been exhilarating.

 

 

About Apadmi:

Apadmi is now the UK’s leading mobile software development company, working with organisations such as the NHS and the BBC, as well as a range of business including Lexus and Skyscanner. The business has also spun out technology companies in several different areas, including Market Research, Retail, Loyalty schemes within football and the Internet of Things.
Apadmi has now launched Apadmi Ventures, a formalisation of their spinout business model that is bringing their technical excellence, experience and significant investment capacity to all business sectors.

Event details

  • When: 3rd November 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar