amb24

We are top in the UK for Computer Science

The University of St Andrews makes history by ranking top in the United Kingdom in the @thetimes. The University tops seven of the subject league tables: Business Management, Computer Science, English, Middle Eastern and African Studies, Philosophy, Physics and Astronomy, and International Relations. #GoodUniGuide http://ow.ly/GUyi50GbB08 #evertoexcel

DHSI Seminar Series

The school of Physics & Astronomy (Room 222) are hosting our next Digital Health Seminar 12.00pm – Lunch 12.20pm – Isla Rose & Mary Barnard Ultraviolet Radiation, DNA damage, and sunscreen 12.50pm – Lewis McMillan Monte Carlo radiation transfer model of laser tissue ablation 1.20pm –   Nicole Schanche Planet candidate detection and ranking using MachineLearning DHSI Seminar Series

SACHI research group in Canada for the annual CHI conference

   This week members of the SACHI research group are in Canada for the annual CHI conference where they are presenting 8 papers and other research work. Their research papers have been attracting media interest this week. The Times has covered their paper on Change blindness in proximity-aware mobile interfaces quoting Professor Quigley.              App SACHI research group in Canada for the annual CHI conference

SACHI at CHI 2018 in Montreal next week

      The ACM Conference on Human Factors in Computing Systems (CHI) series of academic conferences is generally considered the most prestigious in the field of human-computer interaction. It is hosted by ACM SIGCHI, the Special Interest Group on Computer-Human Interaction. CHI has been held annually since 1982 and attracts thousands of international attendees. Next week members SACHI at CHI 2018 in Montreal next week

War Stories: Building new tech products in an uncertain world

Steven Drost (CodeBase Chief Strategy Officer) and Jamie Coleman (CodeBase CoFounder and Chair) will talk about the topics that are rarely discussed in an academic environment around startups, product management, jobs to be done and disruption. Discussing aspects of UX, HCI, AI and systems development this is the stuff that they wish every computer scientist War Stories: Building new tech products in an uncertain world

DHSI Seminar Series

Room 222 – Physics and Astronomy “Cross cutting technological theme – imaging and sensing” 12:05 Michael Mazilu: Introduction               12:15  Malte Gather and Nils  Kronenberg: Developing cell forces mapping for clinical diagnosis 12:45 Vivienne Wild and  Milena Pawlik: Analysing images of galaxies      13:15  Coffee Break       13:25 David Harris-Birtill : Automated Remote Pulse Oximetry         

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 DHSI Seminar Series (Digital Health Science Initiative)

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, Dr. Ornela Dardha’ talk: Session Types Revisited

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 Simon Fowler Seminar: First-Class Distributed Session Types