Edinburgh Research Explorer

School of Informatics

Organisational unit: School

Contact information

Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
United Kingdom

Research outputs

  1. Logical Interpretations of Autoencoders

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

  2. Polynomial-time Implicit Learnability in SMT

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

View all (12964) »

Research activities & awards

  1. The Role of Speculative Design in Policy Debates

    Activity: Academic talk or presentation typesInvited talk

  2. Coherence through normalisation-by-evaluation for cartesian closed bicategories

    Activity: Academic talk or presentation typesInvited talk

  3. Design of Interactive Systems (DIS 2020) (Event)

    Activity: Publication peer-review and editorial work typesEditorial activity

View all (305) »

Latest prizes

  1. Eurographics Young Researcher Award

    Prize: Prize (including medals and awards)

  2. Euan Minto Prize

    Prize: Prize (including medals and awards)

  3. Honourable Mention for Best Paper Award at CHI 2014

    Prize: Prize (including medals and awards)

View all (22) »

ID: 3510