School of Computer Science

Projects

Projects per year 2004 2006 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2028

• 4 Active
• 228 Finished

Projects per year

Search results

• Finished

  Julia Bowles Comp Sci: EPSRC Institutional Sponsorship 2016/17

  Bowles, J. (PI)

  EPSRC

  1/07/16 → 31/03/17

  Project: Standard

  • Health Care 100%

• Timespan - Student Placement: Timespan - Student Placement

  Miller, A. (PI)

  Scottish Funding Council

  1/07/16 → 1/11/16

  Project: Standard

• Harris Birthill Global Funding: EPSRC Global Challenge Research Fund 2016-17

  Quigley, A. (PI) & Harris-Birtill, D. (CoI)

  EPSRC

  1/06/16 → 31/03/17

  Project: Standard

• Type-Driven Verification of Communic: Type-driven verification of communicating systems

  Brady, E. (PI)

  EPSRC

  1/05/16 → 30/04/17

  Project: Standard

  • Programming Language 100%
  • Driven Development 54%
  • Implicit Information 54%
  • Functional Languages 54%
  • High-Level Language 54%

• H2020 MSCA Fellowship InfGroups: InfGroups

  Linton, S. (PI)

  European Commission

  1/05/16 → 30/04/18

  Project: Fellowship

• TayLandScape Vitual Worlds: TayLandscape Virtual Worlds

  Miller, A. (PI)

  Scottish Funding Council

  1/05/16 → 31/10/16

  Project: Standard

  • Picts 100%
  • Perth 100%

• What's possible? Lateral North: What's possible? Developing new ways of imagining the future

  Miller, A. (PI)

  Scottish Funding Council

  21/03/16 → 21/06/16

  Project: Standard

• Science of Sensor System Software: Science of Sensor System Software

  Dobson, S. (PI)

  EPSRC

  1/01/16 → 31/12/22

  Project: Standard

  • Sensor Network 100%
  • Clique 100%
  • Human Activity Recognition 75%
  • Annotation 75%
  • Wireless Sensor Network 75%

• Co-Realising Open Journalism: Co-realising open journalism: reflecting online audience reactions in news coverage

  Voss, A. (PI)

  EPSRC

  1/01/16 → 31/03/17

  Project: Standard

  • Single Feature 100%
  • Location Information 100%
  • Speaking Country 100%
  • Applicability 100%

• Medial Image: Medical image segmentation using deep learning to automatically detect cancer

  Harris-Birtill, D. (PI) & Quigley, A. (CoI)

  EPSRC

  1/01/16 → 31/03/17

  Project: Standard

• Releasing Conjecture: Releasing Conjecture: The Automated Constraint Modelling Tool

  Gent, I. (PI) & Miguel, I. (CoI)

  EPSRC

  1/01/16 → 31/03/17

  Project: Standard

• PASS: Promoting Architecture and Archaeology through SMART Spheres (PASS)

  Miller, A. (PI)

  EPSRC

  1/01/16 → 31/03/17

  Project: Standard

• C: Scalable Shared Memory: C3 Scalable Shared Memory via Consistency-directed Cache Coherence

  Sarkar, S. (PI)

  EPSRC

  9/11/15 → 30/04/19

  Project: Standard

  • Parallel Process 100%
  • Parallel Structure 100%
  • Operational Model 75%
  • Parallel Architectures 66%
  • Denotational Semantics 66%

• H2020 Starting Grant Work and Home: Reshaping society and space: home based self employment and businesses

  Barker, A. (PI)

  European Research Council

  1/10/15 → 30/09/20

  Project: Standard

• Sensing Environmental Risk: Enhanced Environmental Sensing Project

  Dobson, S. (PI)

  Scottish Funding Council

  27/09/15 → 26/09/16

  Project: Standard

• ResBOSK 2: ResBOSK 2

  Harris-Birtill, D. (PI)

  Scottish Funding Council

  27/09/15 → 31/03/17

  Project: Standard

• NTS: Virtual Tour: National Trust for Scotland: Virtual Tour

  Miller, A. (PI)

  Scottish Funding Council

  21/09/15 → 21/11/15

  Project: Standard

• H2020 OPENDREAMKIT: OPENDREAMKIT (partner)

  Linton, S. (PI) & Konovalov, O. (CoI)

  European Commission

  1/09/15 → 31/08/19

  Project: Standard

  • Interoperability 100%
  • Mathematics 100%
  • Mathematical Software 100%
  • Permutation Group 83%
  • Computer Algebra System 75%

• CRAWDAD: CRAWDAD

  Henderson, T. (PI)

  Association for Computing Machinery

  1/08/15 → 31/12/20

  Project: Standard

• Norther Periphery - Connected North: Connected North

  Miller, A. (PI)

  European Commission

  15/07/15 → 30/09/16

  Project: Standard

• Automated Conflict Resolution: Automated Conflic Resolution in Clinical Pathways

  Bowles, J. (PI)

  EPSRC

  1/07/15 → 15/12/18

  Project: Standard

  • Chronic Condition 100%
  • Theorem Prover 92%
  • Constraint Solver 81%
  • Medical Domain 55%
  • Multiple Chronic Conditions 44%

• Taigh Chearsabhagh: Taigh Chearsabhagh - student placement

  Miller, A. (PI)

  Scottish Funding Council

  1/07/15 → 30/09/15

  Project: Standard

• CONNECTED NORTH 360 DEGREES: Connected North 360 degrees Virtual Visions

  Miller, A. (PI)

  Scottish Funding Council

  1/07/15 → 1/01/16

  Project: Standard

• Tristan Henderson: A peer-review system for university applications

  Henderson, T. (PI)

  The Russell Trust

  6/04/15 → 5/04/16

  Project: Standard

• Info Typography: Info Visualisation: Info Typography: Information Visualisation through and for text

  Nacenta, M. (PI)

  EPSRC

  1/04/15 → 30/06/16

  Project: Standard

  • Completion Time 100%

• H2020 Collaboration REPHRASE: H2020 Collaboration 2014 - RePhrase

  Hammond, K. (PI)

  European Commission

  1/04/15 → 31/03/18

  Project: Standard

  • Parallelism 100%
  • Multicore 82%
  • Refactoring 46%
  • Parallel Program 42%
  • Parallel Process 42%

• Trailling Mobile Technology: Trialling Mobile Technology for Local Heritage Interpretation on the Proposed Fife Pilgrim Way

  Miller, A. (PI)

  Scottish Funding Council

  2/03/15 → 29/05/15

  Project: Standard

• CoDiMa: CoDiMa (CCP in the area of Computational Discrete Mathematics)

  Linton, S. (PI) & Konovalov, O. (CoI)

  EPSRC

  1/03/15 → 29/02/20

  Project: Standard

  • Permutation Group 100%
  • Triangle 74%
  • Variance 49%
  • Canonical Image 37%
  • Prime Graph 37%

• Medical and Healthcare mobile apps: Medical and healthcare mobile apps based on St Andrews research

  Kelsey, T. (PI)

  EPSRC

  1/01/15 → 31/08/15

  Project: Standard

  • Fertility Preservation 100%
  • Dental Fear 88%
  • Dental Practice 88%
  • Follicle 88%
  • Cancer Therapy 88%

• Rosemarkie to George Bain through DI: From Rosemarkie to George Bain through Digital Installation

  Miller, A. (PI)

  Scottish Funding Council

  1/01/15 → 1/04/15

  Project: Standard

• Qraqrbox: Qraqrbox Collaborative Commercialization and Business Development

  Dearle, A. (PI)

  EPSRC

  1/11/14 → 30/09/15

  Project: Standard

• Digitising Scotland: Digitising Scotland

  Kirby, G. (PI)

  Economic & Social Research Council

  31/10/14 → 31/10/20

  Project: Standard

  • Graph Database 100%
  • Record Linkage 100%
  • Reconstitution 100%
  • Metric Space 100%
  • UK 100%

• SFC Butterfly Catcher Ltd: "Development of portfolio-rebalancing software for the financial services investment management sector", Innovation Vocuher with Butterfly Catcher Ltd

  Miguel, I. (PI)

  Scottish Funding Council

  10/10/14 → 9/01/15

  Project: Standard

• Eyemouth Museum without walls: Eyemouth Museum without walls

  Miller, A. (PI)

  Scottish Government

  10/09/14 → 10/12/14

  Project: Standard

• Combining Constraints and Verification: Combining Constraints and Verification

  Jefferson, C. (PI)

  EPSRC

  31/07/14 → 30/07/17

  Project: Standard

  • Constraint Problem 100%
  • Randomly Generated Instance 100%
  • Decision Problem 100%
  • Artificial Intelligence 100%
  • Diagonal 100%

• Constraint Solving for Intelligent Web: Constraint Solving for an Intelligent Web

  Miguel, I. (PI)

  EPSRC

  1/07/14 → 30/06/15

  Project: Standard

• Accelerated Safe Robot-Human Interaction: Accelerated Safe Robot-Human Interaction

  Weir, M. (PI)

  EPSRC

  1/06/14 → 31/08/15

  Project: Standard

• Achieving Maximum Performance: CloudBench: Achieving Maximum Performance and Saving Costs on the Cloud

  Barker, A. (PI) & Varghese, B. (CoI)

  EPSRC

  1/06/14 → 31/08/15

  Project: Standard

• Everyday Casual Argumentations: Everyday Causal Argumentations

  Voss, A. (PI)

  The British Academy

  1/05/14 → 31/08/15

  Project: Standard

• Ethics adn informed consent in online so: Ethics and informed consent in online social network research

  Henderson, T. (PI)

  University of Oxford

  30/04/14 → 30/04/14

  Project: Standard

• Making Computational Experiments: Recomputation.org: Making Computational Experiments Recomputable

  Gent, I. (PI)

  EPSRC

  1/04/14 → 31/08/15

  Project: Standard

• EPSRC IAA Funding Round 3: Mobile and Immersive Smart Tourism

  Miller, A. (PI)

  EPSRC

  1/04/14 → 31/08/15

  Project: Standard

• EPSRC IAA GAP 5: GAP 5

  Linton, S. (PI)

  EPSRC

  1/03/14 → 31/07/15

  Project: Standard

• Innovation Voucher - Scone Palace: Innovation Voucher - Scone Palace

  Miller, A. (PI)

  Scottish Funding Council

  15/02/14 → 12/08/14

  Project: Standard

• Palimpsest: am Edinburgh Literary: Palimpsest: an Edinburgh Literary Cityscape, joint Edinburgh

  Quigley, A. (PI)

  Arts and Humanities Research Council

  1/01/14 → 31/03/15

  Project: Standard

• RS Industry Fellowship: RS Industry Fellowship

  Barker, A. (PI)

  The Royal Society

  1/01/14 → 31/12/15

  Project: Fellowship

  • Cloud Computing 100%
  • Virtual Machine 70%
  • Monitoring Tool 60%
  • Benchmarking 40%
  • Execution Plan 40%

• SMART Tourism Award - 'PAST': SMART Tourism Award - PAST

  Miller, A. (PI)

  Scottish Funding Council

  1/01/14 → 30/06/14

  Project: Standard

• Virtual Time Travel Platform destination: Virtual Time Travel Platform destination St Kilda

  Miller, A. (PI)

  Scottish Funding Council

  14/11/13 → 12/08/14

  Project: Standard

• Administrative Data Research Centres: ESRC - Admin Data Service - Scottish Consortium

  Kirby, G. (PI)

  1/11/13 → 31/10/18

  Project: Standard

  • Metric Space 100%
  • Record Linkage 66%
  • Linked Data 66%
  • Synthetic Data 66%
  • Gold Standard 66%

• University Research Fellowship 2013: University Research Fellowship 2013

  Jefferson, C. (PI)

  The Royal Society

  1/10/13 → 30/09/18

  Project: Fellowship

  • Randomly Generated Instance 100%
  • Decision Problem 100%
  • Artificial Intelligence 100%
  • Benchmark Problem 75%
  • Unit Propagation 50%