Seminar

SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford

The School of Computer Science welcomes Dr Michael Milford from Queensland University of Technology, Australia who is meantime visiting Scotland. MichaelMilford

Abstract: The brain circuitry involved in encoding space in rodents has been extensively tested over the past forty years, with an ever increasing body of knowledge about the components and wiring involved in navigation tasks. The learning and recall of spatial features is known to take place in and around the hippocampus of the rodent, where there is clear evidence of cells that encode the rodent’s position and heading. RatSLAM is a primarily vision-based robotic navigation system based on current models of the rodent hippocampus, which has achieved several significant outcomes in vision-based Simultaneous Localization And Mapping (SLAM), including mapping of an entire suburb using only a low cost webcam, and navigation continuously over a period of two weeks in a delivery robot experiment. This research led to recent experiments demonstrating that impressive feats of vision-based navigation can be achieved at any time of day or night, during any weather, and in any season using visual images as small as 2 pixels in size. In our current research we are investigating the problem of place recognition and visual navigation from two angles. The first is from a neuroscience-inspired perspective, modelling the multi-scale neuronal map of space found in the mammalian brain and the variably tolerant and selective visual recognition process in the primate and human brain. The second is from an algorithmic perspective, utilizing state of the art deep learning techniques. I will discuss the insights from this research, as well as current and future areas of study with the aim of stimulating discussion and collaboration.

Bio: I hold a PhD in Electrical Engineering and a Bachelor of Mechanical and Space Engineering from the University of Queensland (UQ), awarded in 2006 and 2002 respectively. After a brief postdoc in robotics at UQ, I worked for three years at the Queensland Brain Institute as a Research Fellow on the Thinking Systems Project. In 2010 I moved to the Queensland University of Technology (QUT) to finish off my Thinking Systems postdoc, and then was appointed as a Lecturer in 2011. In 2012 I was awarded an inaugural Australian Research Council Discovery Early Career Researcher Award, which provides me with a research-intensive fellowship salary and extra funding support for 3 years. In 2013 I became a Microsoft Faculty Fellow and lived in Boston on sabbatical working with Harvard and Boston University. I am currently a Senior Lecturer and Australian Research Council Future Fellow at QUT with a research focus, although I continue to teach Introduction to Robotics every year. From 2014 to 2020 I am a Chief Investigator on a $19,000,000 Australian Research Council Centre of Excellence for Robotic Vision.

My research interests include vision-based mapping and navigation, computational modelling of the rodent hippocampus and entorhinal cortex, especially with respect to mapping and navigation, computational modelling of human visual recognition, biologically inspired robot navigation and computer vision and Simultaneous Localisation And Mapping (SLAM).

Homepage:https://wiki.qut.edu.au/display/cyphy/Michael+Milford

Google Scholar:http://scholar.google.com/citations?user=TDSmCKgAAAAJ

Event details

  • When: 14th April 2015 14:30 - 17:00
  • Where: Cole 1.33b
  • Format: Seminar

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 on lists, or ordering invariants on sorting.

Realistically, though, programming is not so simple: programs interact with users, communicate over networks, manipulate state, deal with erroneous input, and so on. In this talk I will give an introduction to programming in Idris, with demonstrations, and show how its advanced type systems allows us to express such interactions precisely. I will show how it supports verification of stateful and communicating systems, in particular giving an example showing how to verify properties of concurrent communicating systems.

Bio: Edwin Brady is a Lecturer in Computer Science at the University of St Andrews. His research interests include programming language design, in particular type systems and domain specific languages. He leads the design and implementation of the Idris programming language, a general purpose functional programming language with dependent types, which he uses to implement verified domain specific languages. When he’s not doing that, he’s likely to be playing a game of Go, wrestling with the crossword, or stuck on a train somewhere.

 

Event details

  • When: 7th April 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

April 13th, seminar by Nicolai Marquardt: Towards Ad-hoc Collaboration Spaces with Cross-Device Interaction Techniques

Speaker: Nicolai Marquardt, University College London
Date/Time: 1-2pm April 13, 2015
Location: CS1.33a, University of St Andrews

Abstract:
Despite the ongoing proliferation of devices and form-factors such as tablets and electronic whiteboards, technology often hinders (rather than helps) informal small-group interactions. Whereas natural human conversation is fluid and dynamic, discussions that rely on digital content—slides, documents, clippings—often remain hindered due to the awkwardness of manipulating, sharing, and displaying information on and across multiple devices. Addressing these shortcomings, in this talk I present our research towards fluid, ad-hoc, minimally disruptive techniques for co-located collaboration by leveraging the proxemics of people as well as the proxemics of devices. In particular, I will demonstrate a number of cross-device interaction techniques—situated within the research theme of proxemic interactions—that support nuanced gradations of sharing. I will also introduce different novel hybrid sensing approaches enabling these interaction techniques and discuss future research directions.

Bio:
Nicolai Marquardt is Lecturer in Physical Computing at University College London. At the UCL Interaction Centre he is working in the research areas of ubiquitous computing, physical user interfaces, proxemic interactions, and interactive surfaces. He is co-author of the books Proxemic Interactions: From Theory to Practice (Morgan & Claypool 2015) and Sketching User Experiences: The Workbook (Elsevier, Morgan Kaufmann 2012).

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Following on from Nicolai Marquardt’s successful talk his slides can now be viewed here: St Andrews guest lecture Nicolai Marquardt – Slide Presentation

Event details

  • When: 13th April 2015 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

March 10th, seminar by Nick Taylor: Sustaining Civic Engagement in Communities

Speaker: Nick Taylor, University of Dundee
Date/Time: 2-3pm March 10, 2015
Location: CS1.33a, University of St Andrews

Abstract:
Engagement with local issues is typically very low, despite digital technologies opening up more channels for citizens to access information and get involved than ever before. This talk will present research around the use of simple physical interfaces in public spaces to lower barriers to participation and engage a wider audience in local issues. It will also explore the potential for moving beyond top-down interventions to support sustainable grassroots innovation, in which citizens can develop their own solutions to local issues.

Bio:
Nick Taylor is a Lecturer and Dundee Fellow in the Duncan of Jordanstone College of Art and Design at the University of Dundee. His research interests involve the use of novel technologies in social contexts, particularly in communities and public spaces. This has involved the exploration of technologies to support civic engagement in local democracy, public displays supporting community awareness and heritage, as well as methods of engaging communities in design.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 10th March 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

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

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 Platform and Strategy Lead from JPMorgan Chase, will discuss the current approach and challenges to Cloud in Financial Services. This will include an overview of available Cloud services and capabilities, the specific challenges to Cloud in Financial Services (private and public Cloud) and an overview of the next-generation Cloud platform and developer experience at JPMorgan Chase.

Event details

  • When: 18th November 2014 14:00 - 15:00
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

Thursday Seminar from Japan – Prof. Yoshifumi Kitamura – Interactive Content Design and 3D Interactions

Date: 2014-11-13
Time: 14:00 to 15:00
Location: Maths Lecture Theatre A, North Haugh, University of St Andrews.

Title: Interactive Content Design and 3D Interactions

Abstract: Good media content has the power to enrich our lives. We focus on non-traditional content other than movies, music and games, conducting comprehensive research on a variety of interactive content which creates new value through interactions with humans. In this talk I will introduce a series of my group’s recent research projects involving technologies for interactive content design and 3D interactions.
Web: http://www.icd.riec.tohoku.ac.jp/index-e.html

Bio: Yoshifumi Kitamura is a Professor at Research Institute of Electrical Communication, Tohoku University. He received the B.Sc., M.Sc. and PhD. degrees in Engineering from Osaka University in 1985, 1987 and 1996, respectively. Prior to Tohoku University, he was an Associate Professor at Graduate School of Engineering and  Graduate School of Information Science and Technology, Osaka University (1997-2010), and before that he was a researcher at ATR Communication Systems Research Laboratories (1992-1996) and Canon Inc. (1987-1992).

Event details

  • When: 13th November 2014 14:00 - 15:00
  • Where: Maths Theatre A
  • Format: Seminar, Symposium, Talk

Supporting the Design of Shape-Changing Interfaces by Jason Alexander, Lancaster University

Abstract:

Shape-changing interfaces physically mutate their visual display surface to better represent on-screen content, provide an additional information channel, and facilitate tangible interaction with digital content. The HCI community has recently shown increasing interest in this area, with their physical dynamicity fundamentally changing how we think about displays. This talk will describe our current work supporting the design and prototyping of shape-changing displays: understanding shape-changing application areas through public engagement brainstorming, characterising fundamental touch input actions, creating tools to support design, and demonstrating example implementations. It will end with a look at future challenges and directions for research.

Bio:

Jason is a lecturer in the School of Computing and Communications at Lancaster University. His primary research area is Human-Computer Interaction, with a particular interest in bridging the physical-digital divide using novel physical interaction devices and techniques. He was previously a post-doctoral researcher in the Bristol Interaction and Graphics (BIG) group at the University of Bristol. Before that he was a Ph.D. student in the HCI and Multimedia Lab at the University of Canterbury, New Zealand. More information can be found at http://www.scc.lancs.ac.uk/~jason/

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 11th November 2014 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

Emotion Sense: From Design to Deployment by Neal Lathia, Cambridge University.

Abstract:
In the UK, more than 70% of mobile users now own a smartphone. These increasingly powerful, sensor-rich, and personal devices present an immense opportunity to monitor health-related behaviours and deliver digital behaviour-change interventions at unprecedented scale.

However, designing and building systems to measure and intervene on health behaviours presents a number of challenges. These range from balancing between energy efficiency and data granularity, translating between behavioural theory and design, making long psychological assessments usable for end users, and making sense of the sensor and survey data these apps collect in a multidisciplinary setting.

Approximately 18 months ago, we launched Emotion Sense, a mood-tracking app for Android where we tried to address some of these challenges. To date, the app has been downloaded over 35,000 times and has an active user base of about 2,000 people: in this talk, I will describe how we designed, trialled, and launched Emotion Sense, and the insights we are obtaining about diurnal patterns of activity and happiness that we are finding by mining the 100 million+ accelerometer samples the app has collected to date. I’ll close with future directions of this technology — including a novel smoking cessation intervention (Q Sense), and a generic platform (Easy M) that we have developed to allow researchers to conduct their own studies.

http://emotionsense.org/
http://www.qsense.phpc.cam.ac.uk/
http://www.cl.cam.ac.uk/~nkl25/easym/

Bio:
Neal is a Senior Research Associate in Cambridge University’s Computer Laboratory. His research to date falls somewhere in the intersection of data mining, mobile systems, ubiquitous/pervasive systems, and personalisation/ recommender systems, applied to a variety of contexts where we measure human behaviour by their digital footprints. He has a PhD in Computer Science from University College London. More info/contact http://www.cl.cam.ac.uk/~nkl25/

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 28th October 2014 14:00 - 15:00
  • Where: Maths Theatre D
  • Format: Seminar