John Patrick Gallagher

Search results

• Finished

  Energimærkning af Software og Software Installationer

  Gallagher, J. P. (Project participant), Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)

  01/02/2020 → 30/09/2020

  Project: Research

• Kulturportalen, Experience Lab RUC projekt

  Jensen, S. S. (Project coordinator), Laursen, B. (Project manager), Gallagher, J. P. (Project participant), Andreasen, T. (Project participant) & Christiansen, H. (Project participant)

  15/08/2014 → 01/02/2017

  Project: Research

• ICT-Energy

  Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)

  01/10/2013 → 30/09/2016

  Project: Research

• ENTRA: Whole-Systems Energy Transparency

  Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant), Strand, D. L. (Project manager) & Bohr, N. (Project participant)

  01/10/2012 → 30/09/2015

  Project: Research

• The design of interactive experiences: advanced IT in inter-disciplinary teaching and research

  Gallagher, J. P. (Project participant), Jørgensen, N. (Project participant) & Jacquemin, C. (Project participant)

  01/04/2011 → 31/03/2012

  Project: Research

• NUSA: Numeric and Symbolic Abstractions for Software Model Checking

  Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)

  01/01/2011 → 31/12/2013

  Project: Research

• Havhingstens tur til Irland – en interaktiv oplevelsesplatform

  Gallagher, J. P. (Project participant), Andreasen, T. (Project participant), Christiansen, H. (Project participant), Jensen, S. S. (Project participant) & Strand, D. L. (Project participant)

  01/08/2010 → 31/01/2011

  Project: Research

• IMDEA Software Institute, Madrid - Research Agreement

  Gallagher, J. P. (Project participant)

  01/08/2008 → 31/08/2021

  Project: Research

• FIRST: Foundations of Innovative Research in Software Technologies (FIRST Research School)

  Gallagher, J. P. (Project participant)

  01/01/2008 → 31/12/2010

  Project: Research

• Logic-statistic modelling and analysis of biological sequence data

  Christiansen, H. (Project participant), Gallagher, J. P. (Project participant), Skovgaard, O. (Project participant), Pedersen, M. B. (Project participant), Garrigues, C. (Project participant), Jaeger, M. (Project participant), Forsberg, R. (Project participant), Steffensen, P. J. (Project participant), Knudsen, T. (Project participant), Knudsen, B. (Project participant), Krogh, A. (Project participant) & Sato, T. (Project participant)

  Det strategiske forskningsråd; NABIIT, Programkomitéen for nanovidenskab og teknologi, bioteknologi og IT

  01/05/2007 → 31/12/2012

  Project: Research

• SAFT: Static Analysis with Finite Tree Automata

  Gallagher, J. P. (Project manager), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)

  <ingen navn>

  01/01/2007 → 31/12/2010

  Project: Research