School Seminar Series

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 … Seminar: ‘Designing trusted and engaging forms of peer to peer healthcare’ by Pam Briggs

School Seminar: Efficient Privacy Preserving Data Mining via Secure Computation by Dr Changyu Dong

The School of Computer Science welcomes the opportunity to hear from Dr Changyu Dong, from the Department of Computer and Information Sciences University of Strathclyde, who will be delivering his talk on ‘Efficient Privacy Preserving Data Mining via Secure Computation’. Abstract: Loosely speaking, secure computation allows parties to compute a function jointly while keeping their … School Seminar: Efficient Privacy Preserving Data Mining via Secure Computation by Dr Changyu Dong

Type-driven Verification of Communicating Systems in Idris

Speaker: Edwin Brady Abstract: Idris (http://idris-lang.org/) is a general-purpose programming language with an expressive type system which allows a programmer to state properties of a program precisely in its type. Type checking is equivalent to formally and mechanically checking a program’s correctness. Introductory examples of programs verified in this way typically involve length preserving operations … Type-driven Verification of Communicating Systems in Idris

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 … School Seminars: Building the News Search Engine – Bloomberg

School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

Matching in Practice: Junior Doctor Allocation and Kidney Exchange by Dr. David Manlove Abstract: Matching problems typically involve assigning agents to commodities, possibly on the basis of ordinal preferences or other metrics. These problems have large-scale applications to centralised matching schemes in many countries and contexts. In this talk I will describe the matching problems … School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

Statistically Consistent Estimation and Efficient Inference for Natural Language ParsingBy Shay Cohen, University of Edinburgh. Abstract: In the past few years, there has been an increased interest in the machinel earning community in spectral algorithms for estimating models with latent variables. Examples include algorithms for estimating mixture of Gaussians or for estimating the parameters of … School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

School Seminar: Cloud Platform in Financial Services – Allan Beck, J.P. Morgan

Title: Cloud Platform in Financial Services Presenter: Allan Beck, Cloud Platform and Strategy Lead from JPMorgan Chase Abstract: Cloud Computing is revolutionising the delivery of compute services and driving the next generation of web-scale application design. This presents enormous opportunities but also challenges, particularly in heavily regulated sectors such as Financial Services. Allan Beck, Cloud … School Seminar: Cloud Platform in Financial Services – Allan Beck, J.P. Morgan

The Design and Implementation of Feldspar

By: Josef Svenningsson, Chalmers University of Technology, Sweden Feldspar is a domain specific language with the goal of raising the level of abstraction for performance sensitive, low-level code. Feldspar is a functional language embedded in Haskell, which offers a high-level style of programming. The key to generating generating efficient code from such descriptions is to … The Design and Implementation of Feldspar

Talk: Internship Experiences 2014

Many St Andrews CS students do internships in the summer, but we very rarely get the opportunity to learn about them. If you are interested in what some outstanding fourth year students did this summer, including tips and hints on how to do this yourself, you cannot miss this! Hear them talk at 2:00pm on … Talk: Internship Experiences 2014