News

PhD Scholarship in Data Science

Potential PhD students with a strong background in Computer Science are encouraged to apply for this three-year studentship funded by the Research Council of the European Commission (ERC). The student will work within an interdisciplinary team of researchers from Computer Science and Geography in the WORKANDHOME project (ERC Starting Grant 2014), which investigates how home-based businesses are shaping society and space.

The student will examine the Computer Science challenges within this research project. The exact scope of the PhD project is open to discussion but we anticipate that the successful candidate will be working broadly on Data Science topics, potentially covering one or more of the following areas: cloud computing, social network analysis and agent-based modelling. This is a unique opportunity to work at the cutting edge of systems research. Come join us in St Andrews.

Funding Notes: The studentship will cover UK/EU tuition fees and an annual tax-free stipend of approximately £13,000. Funding will be for three years of full-time study, starting date ideally in September/October 2015.

Applications: It is expected that applicants should have or expect to obtain a UK first-class honours degree (or its equivalent from non-UK institutions) in Computer Science but the minimal standard that we will consider is a UK upper-second class Honours degree or its equivalent.

For further information on how to apply, see our postgraduate web pages. The closing date for applications is June 30th 2015. All interested candidates should contact Dr Adam Barker in the first instance to discuss your eligibility for the scholarship and a proposal for research.

LitLong launches from AHRC funded project

The Palimpsest project involving the University of St Andrews’ SACHI group collaborating with the University of Edinburgh’s English literature and text-mining group launched LitLong Edinburgh on 30th march 2015.

LitLong_web_vis

LitLong_appLit Long: Edinburgh features a range of maps and accessible visualisations, which enable users to interact with Edinburgh’s literature in a variety of ways, exploring the spatial relations of the literary city at particular times in its history, in the works of particular authors, or across different eras, genres and writers. Lit Long: Edinburgh makes a major contribution to our knowledge of the Edinburgh literary cityscape, with potential to shape the experience and understanding of critics and editors, residents and visitors, readers and writers.

Give the web visualisation a try here.

SACHI’s Dr Uta Hinrichs created the web visualisation, Dr David Harris-Birtill created the mobile app and Professor Aaron Quigley was the St Andrews lead and co-investigator on the Palimpsest project funded by the AHRC.

This work is featured on the Guardians website and mentioned in Edinburgh University’s news.

New EPSRC project C3: Scalable & Verified Shared Memory

C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence

Dr Susmit Sarkar

Dr Susmit Sarkar

Susmit Sarkar with colleagues in the University of Edinburgh and Intel as project partners, have been successful in their application to the EPSRC for their project C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence. This 3 year project starts in July 2015 and aims to realise scalable and verified shared memory.

Shared-memory multi-core processors are ubiquitous, but programming them remains challenging. The programming model exposed by such multi-core processors depends crucially on a “memory consistency model” (MCM), a contract between the hardware and the programmer, which essentially specifies what value a read can return. On the hardware side, one key mechanism to implement the memory consistency model is the “cache-coherence protocol” (CCP), which essentially communicates memory operations between processors. However, the connection between the CCP and the MCM remains unclear. This is especially true for modern CCPs and MCMs, in which CCP design has been divorced from the requirements of the MCM. Susmit and his colleagues argue that this has negatively impacted the scalability and the verifiability of CCPs.

On the scalability front, there are serious question marks about sustaining cache coherence as the number of cores continue to scale. On the verification front, the application of existing verification techniques, which do not verify the CCP against the MCM, are arguably broken.

The C3 proposal, proposes a family of CCPs that are “aware” of, and verified against the MCM. Their approach is motivated by the fact that both hardware and programming languages are converging to various relaxed MCMs for performance oriented reasons. The team use such relaxed MCMs as inspiration to research CCPs that can take advantage of them.

Specifically, they will research “lazy” CCPs where memory operations are batched, and the cost of communicating a memory operation can be amortised. They will also, for the first time, formally verify the relationship between the hardware CCPs and the programmer-oriented MCM they provide. They will investigate rigorously the gains to be had from such lazy CCPs. The team will do this by creating a multi-core silicon prototype of our proposed CCP, leveraging our experience in the design of industrial-strength micro-architectures and their implementations.

Mario Kart Around the World

The School recently hosted “Mario Kart Around the World” for students from Newport Primary.

All versions of Mario Kart with the exception of arcade versions were available for the youngsters to play. Our visitors had access to a range of consoles and games ranging from Vectrex to Leap Motion and a great opportunity to see modern equipment and how it looked in the “olden days“.

out3

out2

Staff were pictured testing out the equipment ( by way of playing Mario Kart) post event. Peter Nightingale (top left) is pictured playing the Vectrex Home Arcade System. Jon Lewis (bottom left) was seen tackling Elite on the Sinclair Spectrum.

out1

The successful event was organised by Ruth Letham with help from Ian Gent, Jon Lewis, Peter Nightingale, Chris Jefferson, Ian Miguel, Gonzalo Mendez and Shyam Reyal.

Images Courtesy of Ian Miguel and Ian Gent.

Torchlit Procession

The Torchlit Procession and Rectorial Drag are historic university traditions, in February the soon-to-be-installed Rector Catherine Stihler addressed all students in St Mary’s Quad. The Torchlit Procession later in the evening left from Sallies Lawn where students collected and lit their torches. The walk continued down to the pier offering some fabulous photographic opportunities.

torch

Stunning images from the procession were captured by MSc students Xu Zhu and Fearn Bishop.

School Hosts StacsHack 2015

The School hosted a hugely successful StacsHack last month. We congratulate Stacs St Andrews Computing Society for organising and running a fantastic event. Hackathons allow students with a range of talents and aptitudes to form groups and create innovative projects in 24hrs. It’s clear from the many photos that great fun was had by all. View some of the winning projects at the challenge post submission gallery.

Thanks to Gala Malbasic, Nick Tikhonov, Ieva Vasiļjeva and Vika Anisimova for representing the School of Computer Science in such a positive way and for all their hard work and enthusiasm.

stacshack

stacshack2

Sponsors: Palantir, J.P. Morgan, Braintree_Dev, Bloomberg and Thalmiclabs.

MLH Hardware Lab partners: Oculus VR, Pebble, Thalmic Labs, Sparkfun, Estimote, Leap Motion and Spark.

Images courtesy of Gala Malbasic and Major League Hacking.
More images from the event can be viewed on the StacsHack Facebook Page.

School Seminars: Building the News Search Engine – Bloomberg

Building the news search engine, by Ramkumar Aiyengar, Bloomberg
Abstract:
This talk provides an insight into the challenges involved in providing near real-time news search to Bloomberg customers. Our News team is in the process of migrating to using Solr/Lucene as its search and alerting backend. This talk starts with a picture of what’s involved in building such a backend, then delves into what makes up a search engine, and then discusses the challenges of scaling up for low-latency and high-load.
Bio:
Ramkumar leads the News Search backend team at the Bloomberg R&D office in London. He joined Bloomberg from his university in India and has been with the News R&D team for 7 years now. For the last couple of years, his team has focussed on rewriting almost the entire search/alert backend, used by almost every Bloomberg user to get near-real time access to news with sub-second latencies. A geek at heart, he considers himself a Linux evangelist, an open source enthusiast, and one of those weird creatures who believes that Emacs is an operating system and had once got his music player and playlists to be controlled through a library written in Lisp.

Event details

  • When: 3rd March 2015 14:00 - 15:00
  • Where: Cole 1.33
  • Series: CS Colloquia Series, School Seminar Series
  • Format: Seminar, Talk

Administrative Data Research Centre – Scotland, St Andrews team

The Scottish ADRC is led by Chris Dibben at the University of Edinburgh, and is supported by the Economic and Social Research Council. The ADRC – Scotland:

  • Brings together major Scottish centres of research, and builds on predecessor organisation structures, involving secondary analysis of public-sector data in order to create a common framework for research based on an integrated data linkage service These groups, funded by research councils, charities and Government, include the Scottish Longitudinal Study (SLS), Administrative Data Liaison Service (ADLS), the UK Census and Administrative data LongitudinaL hub (CALLS), Applied Quantitative Methods Network (AQMeN), Scottish Health Informatics Centre (SHIP) and eHealth Research Centre (eHIRC), the national digital data centre (EDINA), Centre for Research on Environment Society and Health (CRESH) and the Centre for Cognitive Ageing & Cognitive Epidemiology.
  • Involves world leading experts in the theory, methods and policy of record linkage for secondary uses, including public engagement, ethics, information governance and law; linkage and analysis of large datasets; geocoding, natural language processing and machine learning. This includes experts from a range of sectors from which administrative data is derived including housing, transport, income, labour markets, health, crime and criminal justice, education, social services.
  • Builds on existing services – enabling immediate access to state-of-the-art facilities for research access to de-identified administrative data by accredited researchers.
  • Co-locates with the Scotland hub of national health informatics research endeavour, which has already brought together key infrastructures, technologists and research groups, enabling synergies and collaborations that will ensure rapid progress towards a national informatics centre of world importance.
  • Exploits Scotland’s unique holding of linked, machine readable, historical administrative data, including the 1932 and 1947 Scottish Mental Surveys, civil registration data (1855-present), Aberdeen Children of the Nineteen Fifties (ACONF), and others, to make available powerful administrative data based cohort and longitudinal studies.
  • Aims to support National Records of Scotland (NRS) in their work exploring alternatives to the traditional decennial based census.
  • Will have a significant programme of public engagement – including working with citizens to produce statistics of use and relevance to them, and press engagement to ensure that accurate messages are reported.
  • The ADRC research programme will inform the entire UK Administrative Data Research Network and produce research – both specific to administrative data use and more broadly social science – world-leading in terms of originality, significance and rigour.

The St Andrews team will lead research in data linkage methodology, and are currently investigating the potential to use prefabricated secure rooms within the premises of institutions where researchers require secure access to sensitive data.

The St Andrews team involves:

  • Graham Kirby, Alan Dearle – researchers
  • Darren Lightfoot – project manager
  • 2-year research fellow to be appointed summer 2015

The data linkage methodology research programme also includes Alasdair Gray at Heriot-Watt and Peter Christen at Australian National University.