Edinburgh Research Explorer

School of Informatics

Organisational unit: School

Contact information

Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
United Kingdom

Research outputs

  1. Geometric fluid approximation for general continuous-time Markov chains

    Research output: Contribution to journalArticle

  2. Implicitly Learning to Reason in First-Order Logic

    Research output: Contribution to conferencePaper

  3. ChangeIt: Toward an App to Help Children with Autism Cope with Changes

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (12447) »

Research activities & awards

  1. Full-system Cross-architecture Hardware Virtualisation

    Activity: Academic talk or presentation typesInvited talk

  2. Digital Humanities 2019

    Activity: Participating in or organising an event typesParticipation in conference

  3. Using Curatorial Voice

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

View all (136) »

Latest prizes

  1. Award for Best Paper Nomination Finalist - Humanoids 2012

    Prize: Prize (including medals and awards)

  2. Best conference paper finalist - ICARM 2019

    Prize: Prize (including medals and awards)

  3. Best Paper Award

    Prize: Prize (including medals and awards)

View all (15) »

ID: 3510