First ever Computer Science Ball

We would like to cordially invite all staff, students, and alumni to this historic CS event in the making. As you know, other schools in St Andrews have their own annual ball e.g. chem-ball, physics-ball, bull-and-bear (economics) ball etc. For a while, we have wanted our own CS ball – and thanks to a team of keen MSc students and sponsorship from the School of Computer Science – the ball is finally happening!

The tickets available from https://www.eventbrite.co.uk/e/first-ever-cs-ball-smurfalicious-blue-ball-tickets-35035549271 are priced at £39.95, which includes:

  • Full 3 course dinner (starter, main, dessert) with 4 options each to choose from – including vegan/vegetarian/pescaterian options and adjustments for Halal etc.
  • A glass of champagne or a non-alcoholic mocktail
  • A Ceilidh till midnight
  • Return transport by coach from St Andrews to The Old Manor Hotel

The ball will strengthen our sense of fellowship, between all staff and students, and not least as a school. But as you all know very well, we are not just a school, we are a family – the St Andrews #csfamily. Hope to see many of you there!

FAQ:

https://www.smurf.com/

Info and files provided by Shyam Reyal

Computer Science: June Graduation 2017

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.


Images courtesy of Annemarie Paton and Ryo Yanagida.

Containers for HPC environments

Rethinking High performance computing Platforms: Challenges, Opportunities and Recommendations, co-authored by Adam Barker and a team (Ole Weidner, Malcolm Atkinson, Rosa Filgueira Vicente) in the School of Informatics, University of Edinburgh was recently featured in the Communications of the ACM and HPC Wire.

The paper focuses on container technology and argues that a number of “second generation” high-performance computing applications with heterogeneous, dynamic and data-intensive properties have an extended set of requirements, which are not met by the current production HPC platform models and policies. These applications (and users) require a new approach to supporting infrastructure, which draws on container-like technology and services. The paper then goes on to describe cHPC: an early prototype of an implementation based on Linux Containers (LXC).

Ali Khajeh-Hosseini, Co-founder of AbarCloud and former co-founder of ShopForCloud (acquired by RightScale as PlanForCloud) said of this research, “Containers have helped speed-up the development and deployment of applications in heterogeneous environments found in larger enterprises. It’s interesting to investigate their applications in similar types of environments in newer HPC applications.

SACHI Seminar: Dr. Christopher Collins – Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation

Title:  Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation

Abstract:  Text is one of the most prominent forms of open data available, from social media to legal cases. Text visualizations are often critiqued for not being useful, for being unstructured and presenting data out of context (think: word clouds). I argue that we should not expect them to be a replacement for reading. In this talk I will briefly discuss the close/distant reading debate then focus on where I think text visualization can be useful: hypothesis generation and guiding investigation. Text visualization can help someone form questions about a large text collection, then drill down to investigate through targeted reading of the underlying source texts. Over the past 10 years my research focus has been primarily on creating techniques and systems for text analytics using visualization, across domains as diverse as legal studies, poetics, social media, and automotive safety.  I will review several of my past projects with particular attention to the capabilities and limitations of the technologies and tools we used, how we use semantics to structure visualizations, and the importance of providing interactive links to the source materials. In addition, I will discuss the design challenges which, while common across visualization, are particularly important with text (legibility, label fitting, finding appropriate levels of ‘zoom’).

Biography:  Dr. Christopher Collins is the Canada Research Chair in Linguistic Information Visualization and an Associate Professor of Computer Science at the University of Ontario Institute of Technology (UOIT).  His research focus is interdisciplinary, combining information visualization and human-computer interaction with natural language processing to address the challenges of information management and the problems of information overload.  His work has been published in many venues including IEEE Transactions on Visualization and Computer Graphics, and has been featured in popular media such as the Toronto Star and the New York Times Magazine.  He received his PhD in Computer Science from the University of Toronto.  Dr. Collins is a past member of the executive of the IEEE Visualization and Graphics Technical Committee and sits on the IEEE VIS Conference Organizing Committee.

Event details

  • When: 27th June 2017 14:00 - 15:00
  • Where: Cole 1.33b
  • Format: Seminar

DHSI Seminar Series (Digital Health Science Initiative)

“Addiction”

Seminar Room 1 School of Medicine

12:00: Alex Baldacchino- Introduction

12:15: Ognjen Arandjelović & Aniqa Aslam- Understanding Fatal and Non-Fatal Drug Overdose Risk Factors in Fife: Overdose Risk (OdRi) tool

12:45: Damien Williams & Fergus Neville- Transdermal alcohol monitoring

13:15: David Harris-Birtill & David Morrison- Narco Cat – waste water analysis in substance misuse – a novel epidemiological tool

13:15 – 14.00: All Questions & Opportunities

Event details

  • When: 14th June 2017 12:00 - 14:00
  • Where: N Haugh, St Andrews
  • Format: Seminar

Dr. Ornela Dardha’ talk: Session Types Revisited

Event Location: School of Medicine, Seminar room 1

Abstract:
Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. We show that session types are encodable in more primitive and foundational pi-calculus types. Besides providing an expressivity result, the encoding: (i) removes redundancies in the syntax of session types, and (ii) yields standard properties of session types as straightforward corollaries, exploiting the corresponding properties of standard typed pi-calculus. The robustness of the encoding is tested on a few extensions of session types, including subtyping, polymorphism, and higher-order communications. In this talk we present the encoding, some of its applications and recent developments.

 

Event details

  • When: 4th July 2017 14:00 - 15:00
  • Where: N Haugh, St Andrews
  • Format: Seminar

SACHI Seminar: Daniel Vogel, University of Waterloo

Title:  New Approaches to Mode-Switching

Abstract:  The fundamental unit of all interaction is issuing commands, and the trickiest types of commands are those that control “modes” — different ways to map the same input to different application actions. For example, the current mode in a tablet drawing app could determine if the exact same sequence of touch movements draws a line, pans the canvas, makes a marquee selection, or issues a gestural command. Switching between modes like these are frequent, so finding optimum mode-switching methods is important.  In this talk, I survey my group’s work to understand and improve mode-switching and command selection for different input types and device form factors. These include: Pin-and-Cross, a touch overloading technique combining static touches with nearby crossing selection; Conté, a pen-like input device that leverages small changes in contact geometry; Doppio, a reconfigurable two-faced smartwatch for tangible input; and Gunslinger, a mid-air interaction technique using bare hand postures and gestures performed in a relaxed arms-down position.

Bio:  Daniel Vogel is an Assistant Professor and co-director of the Human-Computer Interaction Lab in the Cheriton School of Computer Science at the University of Waterloo. His research interests are fundamental characteristics of input and novel forms of interaction for current and future computing form factors like touch, tangibles, large displays, mid-air gestures, and whole-body input. In addition to earning PhD and MSc degrees from the University of Toronto, Dan holds a BFA from the Emily Carr University of Art + Design, and he leverages his combined art and science background in his research. For example, he was recently awarded a major grant to build a $1.8 million lab to explore the intersection of HCI and Fine Art in spatial augmented reality. Dan’s 2004 paper on interactive ambient displays is one of the ten most cited papers in the nineteen-year history of ACM UIST, and he has received honours including: multiple best paper awards at ACM CHI; the Bill Buxton Dissertation Award (2010); a Banting Postdoctoral Fellowship (2011 – 2013), and an Ontario Early Researcher Award (2017).

Event details

  • When: 15th June 2017 14:00 - 15:00
  • Where: Maths Theatre B
  • Format: Seminar

Simon Fowler Seminar: First-Class Distributed Session Types

Session types codify communication patterns, giving developers guarantees that applications satisfy predefined protocols. Session types have come a long way from their theoretical roots: recent work has seen the implementation of static analysis tools; embeddings into a multitude of programming languages; and the integration of session types into languages as a first-class language construct.

Work at Edinburgh has concentrated on the latter. Lindley and Morris have extended the experimental functional programmming language Links with session-typed hannels in a multithreaded setting.

Distribution, however, brings challenges such as failure and the need for distributed channel delegation algorithms. In this talk, I will demonstrate and discuss the design and implementation of session types in Links. I will describe my recent work on adding support for distribution to Links, allowing the creation of session-typed, multi-user web applications.

Finally, I will describe recent, in-progress, work on a static type system and semantics allowing the controlled relaxation of the requirement of *linearity* (that
every endpoint must be used exactly once) to that of affinity (that every endpoint must be used at most once) in order to account for the question of users leaving a session midway through, and describe how the system still retains core metatheoretic pro

Event details

  • When: 5th June 2017 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Lecturer/Senior Lecturer in Computer Science

The School of Computer Science is looking to recruit new academics as part of a large on-going expansion of our academic staff. We wish to appoint two new Lecturers/Senior Lecturers (depending on experience) to join our vibrant teaching and research community that is ranked amongst the top venues for Computer Science education and research worldwide.

You will be a scholar with a growing international research reputation in Computer Science and a commitment to delivering high quality teaching within the broad field of Computer Science and its applications. The successful candidate will be expected to have a range of interests, to be active in research publication that strengthens or complements those in the School and to be capable of teaching the subject to undergraduate and taught postgraduate students who come to us with a wide range of backgrounds.

Candidates should hold a PhD in a cognate discipline. Excellent teaching skills and an interest in promoting knowledge exchange are essential. You should also have some familiarity with grant seeking processes in relation to research councils and other sources.

Informal enquiries can be directed to Professor Steve Linton (hos-cs@st-andrews.ac.uk) or Dr Dharini Balasubramaniam (dot-cs@st-andrews.ac.uk).

Applications are particularly welcome from women, who are under-represented in Science posts at the University. You can find out more about Equality & Diversity at https://www.st-andrews.ac.uk/hr/edi/.

The University of St Andrews is committed to promoting equality of opportunity for all, which is further demonstrated through its working on the Gender and Race Equality Charters and being awarded the Athena SWAN award for women in science, HR Excellence in Research Award and the LGBT Charter; http://www.st-andrews.ac.uk/hr/edi/diversityawards/. The School endorses the Athena SWAN charter and is actively working towards recognition.

We encourage applicants to apply online, however if you are unable to do this, please call +44 (0)1334 462571 for an application pack.

Please quote ref: AC2116SB

Closing Date: 23 June 2017