April 28th, seminar by Mel Woods: Future Cities: Co-creating Future City Design Fictions in the Wild

The School of Computer Science welcomes Mel Woods from Duncan of Jordanstone College of Art and Design, University of Dundee. Abstract: Blue heritage plaques pepper the UK landscape expounding officially validated narratives celebrating past events, people, and buildings. This seminar will discuss a novel method that draws on this specific cultural context to generate reflective, nano-stories, … April 28th, seminar by Mel Woods: Future Cities: Co-creating Future City Design Fictions in the Wild

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. Lit 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 … LitLong launches from AHRC funded project

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. 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. … SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford

Another Successful PhD Viva

Congratulations to To Masih Hajiarabderkani, who has successfully defended his PhD thesis. Pictured celebrating with supervisor Dr Graham Kirby and Internal examiner Dr John Thomson.

PhD Viva Success

Congratulations to Ruth Hoffmann and Jonathan Ward who passed their PhD vivas earlier this week. Ruth is pictured with Dr Tom Kelsey (internal examiner) and Jonathan (top left) with his PhD supervisor Dr Adam Barker. We look forward to celebrating their achievements at June Graduation.

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

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, … April 13th, seminar by Nicolai Marquardt: Towards Ad-hoc Collaboration Spaces with Cross-Device Interaction Techniques

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 … Mario Kart Around the World

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. Stunning … Torchlit Procession