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

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

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

Seminar: ‘Trading Programs – How the Finance industry has become so complex that today’s products are similar to programs’ by Joel Bjornson

Abstract:

In this presentation, we’ll explore the ways in which Bloomberg uses functional programming to solve financial problems. In particular, we’ll focus on the challenges involved in the development of the Bloomberg Derivatives Library – an application for structuring and pricing financial contracts.

Bio:

Joel Bjornson is a developer at the Bloomberg Derivatives Library team, specializing in the usage of OCaml for modelling financial contracts. Joel has been interested in functional programming since discovering Haskell at an introductory programming course in university.

 

Event details

  • When: 20th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

Abstract:

Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the need for rigorous models of memory management to enable more powerful analysis and optimization techniques. I will draw on a diverse range of topics including thermodynamics, economics, machine learning and control theory.

Bio:

Jeremy Singer is a lecturer at the School of Computing Science, University of Glasgow, Scotland. He has research interests in programming languages,compilation, run time code optimization and memory management. Singer received his PhD from Cambridge in 2006. Website:http://www.dcs.gla.ac.uk/~jsinger

 

Event details

  • When: 6th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar, Talk

Seminar: ‘Disrupting trillion dollar industries using low power wireless sensor networks’ by Raphael Scheps and Gideon Farrell

Abstract:
Some of the world’s most important industries are intrinsically grounded in the physical world, yet their interaction with it is still almost completely manual. Converge is a young startup, forged in the fires of Entrepreneurs First, that is building wireless, distributed sensor networks to revolutionise how these industries operate. We (Raph and Gideon, founders) will talk about our tech (and what makes it a fun challenge to build), the difficulties of working in enormous and complex industries and our first 10 months as a company.

Bio:
Gideon and Raphael co-founded Converge to deal with the huge amounts of data that will be produced by connected devices. Two Physicists from Cambridge, they are obsessed with instrumenting the world with connected sensors to drive a smarter physical environment. Gideon read Astrophysics at the University of Cambridge, and obtained his M.Sci with a thesis on Solar Jets. He has been writing software for over 10 years, working for companies such as Primary Energy Research and Softeam Cadextan. He worked on the first generation of IoT connected sensors at the Georgia Tech Research Institute (The WISP project) in 2009. Raphael read Theoretical Physics, obtaining an M.Math with a thesis on String Theory and Quantum Gravity. He has worked on high speed interconnect within the hardware engineering team at Mellanox as well as the experimental astrophysics team at the Weizmann Institute of Science. He was Vice President at Cambridge University Entrepreneurs, the oldest student entrepreneurship society in Europe. They both met at Cambridge five years ago and started Converge in 2014.

This seminar is part of our ongoing school series. To see all our upcoming seminar follow this link: here.

Event details

  • When: 22nd September 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Measuring Personalization of Online Services’ by Alan Mislove

The School of Computer Science is delighted to welcome Alan Mislove from Northeastern University Boston to give his talk on ‘Measuring Personalization of Online Services

Abstract: Today, many web services personalize their content, including Netflix (movie recommendations), Amazon (product suggestions), and Yelp (business reviews). In many cases, personalization provides advantages for users: for example, when a user searches for an ambiguous query such as “router,” Amazon may be able to suggest the woodworking tool instead of the networking device. However, personalization is rarely transparent (or even labeled), and has the potential be used to the user’s disadvantage. For example, on e-commerce sites, personalization could be used to manipulate the set of products shown (price steering) or by customizing the prices of products (price discrimination). Unfortunately, today, we lack the tools and techniques necessary to be able to detect when personalization is occurring, as well as what inputs are used to perform personalization.

In this talk, I discuss my group’s recent work that aims to address this problem. First, we develop a methodology for accurately measuring when web services are personalizing their content. While conceptually simple, there are numerous details that our methodology must handle in order to accurately attribute differences in results to personalization (as opposed to other sources of noise). Second, we apply this methodology to two domains: Web search services (e.g., Google, Bing) and e-commerce sites (e.g., BestBuy.com, Expedia). We find evidence of personalization for real users on both Google search and nine of the popular e-commerce sites. Third, using fake accounts, we investigate the effect of user attributes and behaviors on personalization; we find that the choice of browser, logging in, and a user’s previously content can significantly affect the results presented.

Bio: Alan Mislove is an Associate Professor at the College of Computer and Information Science at Northeastern University. He received his Ph.D. from Rice University in 2009. Prof. Mislove’s research concerns distributed systems and networks, with a focus on using social networks to enhance the security, privacy, and efficiency of newly emerging systems. He is a recipient of an NSF CAREER Award (2011), and his work has been covered by the Wall Street Journal, the New York Times, and the CBS Evening News.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 13th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Designing trusted and engaging forms of peer to peer healthcare’ by Pam Briggs

The School of Computer Science are delighted to welcome Pam Briggs from Northumbria University, Newcastle who will deliver her talk on Trust and Engagement.

Abstract: Patients now generate a significant amount of online material about health.  This raises questions about how we should design websites featuring patient knowledge and experience in order to ensure those sites provide a good match to patient needs.  In this presentation I describe a structured participatory methodology for the development and evaluation of a set of patient experience websites that took place over three phases, consistent with experience based co-design:

(1) a capture phase in which we wBriggs_Pamorked with patients to understand their reactions to existing websites; (2) an understand phase in which we translated this information into a patient-engagement framework and accompanying set of design guidelines and (3) an improve phase, where we used these guidelines to create three new health websites that were then assessed as patient experience interventions in a range of empirical studies.

Bio: Pam holds a Chair in Applied Psychology, delivering innovative research and consultancy around issues of identity, trust and security in new social media. Her research seeks answers to three main questions: Why and when do we feel secure in disclosing sensitive identity information about ourselves? What makes us trust an electronic message? How and when do we seek to protect our privacy?

In the last five years, Pam has published over forty articles on human perceptions of trust, privacy and security in computer-mediated communication and has recently developed, with colleagues, an innovative model of health advice-seeking online (ESRC funded). She has given a number of invited addresses on online trust and e-health, including an invited address on e-health to the World Health Summit 2009, the opening address at the Second International Conference on Privacy, Security and Trust (Canada) and the keynote to the 2010 IFIP Trust Management conference in Morioka, Japan. She has been a member of ESRC’s fellowship and CASE studentship committees and has recently made a contribution to the Govt. Office for Science’s Technology Foresight programme on the Future of Identity. She is currently a member of EPSRC’s new Identity Futures Network and also EPSRC’s Cybersecurity Network. She is one of the founder members of the UK’s new ‘Science of Cybersecurity’ Institute, funded by GCHQ in association with RCUK’s Global Uncertainty Programme.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

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

Talk: ‘This is a Google Talk’ – by James Smith

The School of Computer Science is pleased to welcome back one of its former PhD students, James Smith, who is currently Google Product Manager, London to talk about Google @ St Andrews. FB_20150916_14_52_25_Saved_Picture

Abstract: Google’s mission is to organize the world’s information and make it universally accessible and useful. It’s an enormous goal to accomplish and we need great people to help us achieve it. We invite you to come learn about Google and some of the engineering challenges we’re tackling.

Sign up: goo.gl/GXXiWp

Event details

  • When: 13th October 2015 20:00 - 21:00
  • Where: Cole 1.33
  • Format: Talk