Wednesday 21st June
As usual the school will host a small reception in the Jack Cole coffee area between 10.30 and 12.30, come along and enjoy a glass of bubbly and a cream cake or two in true Computer Science fashion!
All graduating students, their guests and staff members are invited.
“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 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.
We have a SACHI seminar on Monday 12th June 2017 which will be given by two speakers, presenting two connected talks within the normal hour slot.
The speakers are Dr Oliver Schneider from the Hasso Plattner Institute in Potsdam, Germany and Professor Karon MacLean who is Professor of Computer Science at the University of British Columbia, Canada.
Details for the two talks are as follows.
Title: Haptic Experience Design: How to Create for Touch
Abstract: Touch is everywhere in our daily lives, but interactive technology has traditionally prioritized visual and audio feedback. Recently, a variety of haptic feedback methods promise the benefits of touch for application areas like eyes-free feedback, emotional robots, and physically embodied education. However, haptic experiences are challenging to create – designers must draw from expertise in psychology, mechanical engineering, software engineering, and design theory, and work simultaneously with touch, vision, and audio.
To understand and support haptic experience design, we interviewed professional hapticians (makers of haptics) to provide a first definition and description of their process and its constituent challenges. We developed a series of design tools to support rapid, iterative creation of experiences for the most common haptic interface: expressive vibrotactile feedback. By characterizing haptic experience design and informing supportive tools, we make a first step towards establishing haptic design as its own field, akin to graphic and sound design.
Bio: Oliver Schneider is a Postdoctoral Scholar with the Hasso Plattner Institute in Potsdam, Germany. His Ph.D. topic at the University of British Columbia (UBC) was Haptic Experience Design: describing the process designers follow when creating haptic experiences and developing software tools to support them. Oliver received his M.Sc. in Computer Science from UBC and a B.Sc. Honours from the University of Saskatchewan, and has worked with Disney Research on novel haptic interactions. Through his research, Oliver seeks to empower people to work creatively with novel haptic, multimodal, and multisensory interactive technology.
Title: Making and Experimenting with Furry Robots with Feelings
Abstract: Touch has a major role to play in human-robot interaction. Here, advances in tactile sensing, wearable and context-aware computing as well as robotics more broadly are spurring new ideas about how to configure the human-robot relationship in terms of roles and utility, which in turn expose new technical and social design questions.
This talk will focus on my group’s recent work on haptic or physical human-robot interaction, where we aim to bring effective haptic interaction into people’s lives by examining how touch (in either direction) can help address human needs with the benefit of both low- and high-tech innovation. I will give a sense of these efforts from three perspectives, each involving significant technical and evaluative design challenges: sensing emotive touch, designing expressive robot bodies and behaviours, and creating evaluative scenarios where participants experience genuine – and changing – emotions as they interact with our robots.
Bio: Karon MacLean is Professor of Computer Science at the University of British Columbia, Canada, with a B.Sc. in Biology and Mech. Eng. (Stanford) and a M.Sc. and Ph.D. (Mech. Eng., MIT) and time spent as professional robotics engineer (Center for Engineering Design, University of Utah) and interaction researcher (Interval Research, Palo Alto). At UBC since 2000, her research specializes in haptic interaction: cognitive, sensory and affective design for people interacting with the computation we touch, emote and move with, whether robots, touchscreens or mobile activity sensors. Special Advisor on Knowledge Mobilization to UBC Faculty of Science; Charles A. McDowell Award, 2008; Assoc Editor of IEEE Transactions on Haptics; co-chair of the 2010 and 2012 IEEE Haptics Symposium; Director of UBC’s pan-university Designing for People Research Cluster.
Congratulations to Long Thai, who successfully defended his thesis today. He is pictured with supervisor Dr Adam Barker, Internal examiner Dr John Thomson and external examiner Dr Rami Bahsoon, from the University of Birmingham. Long is joining Amazon as a Software Engineer.
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).
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
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
Everyday advancements in technology brings with it novel challenges and threats. Such advancement imposes greater risks than ever on systems and services, including individual privacy information. Relying on intrusion specialists to come up with new signatures to detect different types of new attacks, does not seem to scale with excessive traffic growth. Therefore, anomaly-based detection provides a promising solution for this problem area.
Anomaly-based IDS applies machine learning, data mining and/or artificial intelligence along with many other methods to solve this problem. Currently, these solutions seem not to be tractable for real production environments due to the high false alarms rate. This might be a result of such systems not being able to determine the point at which an update is required. It is not clear how detection models will behave over time, when traffic behaviour has changed since the last time the model was re-generated.
Continue reading
