Main

Projects

Currently Funded Projects

  • ENTRA: Whole Systems Energy Transparency. Funded by the EU 7th Framework Programme. 2013-2015.
  • NUSA: Numeric and Symbolic Abstractions for Software Model Checking. Funded by the Danish Natural Science Research Council. 2011-2013.

Recent Funded Projects

  • HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods. Funded by the Danish Natural Science Research Council. 2009-2011.
  • SIABO: Semantic Information Access through Biomedical Ontologies. Funded by the Danish Strategic Research Council under the NABIIT programme. 2007-2011.
  • LoSt: Logic-statistic modelling and analysis of biological sequence data. Funded by the Danish Strategic Research Council under the NABIIT programme. 2007-2011.
  • SAFT: Static Analysis with Finite Tree Automata. Funded by the Danish Natural Science Research Council. 2007-2010.
  • OntoQuery: Content-based Information Retrieval. Funded by the Danish Research Agency under the Information Technology Programme. 1999-2007.
  • ASAP: Advanced Specialization and Analysis for Pervasive Systems. Funded by the EU Framework 5 programme. 2002-2006.
  • HyLoMOL: Hybrid Logic Meets Other Logics. Funded by the Danish Natural Science Council. 2005-2008.
  • CONTROL: CONstraint based Tools for RObust Language processing. Funded by the Danish Natural Science Council. 2004-2008.

Other Projects

Green Marinee theme adapted by David Gilbert, powered by PmWiki