CID (2017–2023) placed them in a global MSCA-RISE network focused on mathematical logic, exact real number computation, topology, and program extraction from proofs.
Fachhochschule Dortmund
German applied sciences university bridging formal computing theory and smart building interoperability across European research consortia.
Their core work
Fachhochschule Dortmund is a German university of applied sciences that contributes research expertise at the intersection of theoretical computer science and practical digital infrastructure. In H2020, they brought mathematical computing foundations — computable analysis, formal logic, and program extraction — into an international research exchange network, while separately contributing to the engineering of interoperable protocols connecting smart homes, buildings, and energy grids. As an applied sciences university, their strength lies in translating rigorous computational theory into implementable systems. Their two H2020 projects reveal a faculty capable of operating at both ends of the research-to-application spectrum.
What they specialise in
InterConnect (2019–2024) addressed interoperable solutions connecting smart homes, buildings, and energy grids — a large Innovation Action with EUR 198,750 in EC funding to this partner.
Both projects draw on computer science expertise: formal program extraction in CID and protocol/integration engineering in InterConnect.
How they've shifted over time
Fachhochschule Dortmund's H2020 journey shows a sharp pivot from theoretical to applied work. Their first project (CID, from 2017) placed them squarely in abstract mathematics — descriptive set theory, dynamical systems, category theory, and computability. By 2019, with InterConnect, the keywords had completely changed to interoperability, smart homes, and energy grids. Whether this reflects a deliberate strategic shift toward applied digital infrastructure or simply two different research groups within the same institution engaging with different calls is unclear from this data alone, but the contrast is stark.
The trajectory points toward applied digital infrastructure — IoT integration, building automation, and energy system connectivity — which aligns with where Horizon Europe and industry funding are flowing.
How they like to work
Fachhochschule Dortmund has participated exclusively as a consortium member in H2020, never as coordinator. Their two projects sit inside very large consortia — 95 unique partners across 23 countries from just two participations — indicating they joined well-established, multi-partner projects rather than building their own networks. This suggests they are a reliable specialist contributor that brings targeted expertise to large initiatives, but has not yet pursued the project leadership role typical of major research universities.
Despite only two projects, Fachhochschule Dortmund has connected with 95 unique partners across 23 countries — a network breadth that reflects participation in large, pan-European consortia. Their reach is genuinely European, with no discernible geographic concentration apparent from the available data.
What sets them apart
What sets Fachhochschule Dortmund apart is its unusual combination of deep mathematical theory (computability, formal logic) sitting alongside practical smart-infrastructure engineering within the same institution — a pairing rarely found in either pure research universities or purely applied technical colleges. For a consortium builder, this means potential access to both formal verification expertise and hands-on integration engineering from a single partner. As an applied sciences university (Fachhochschule), they bring an industry-facing orientation that pure research institutes typically lack.
Highlights from their portfolio
- InterConnectThe largest-funded project (EUR 198,750) and a significant EU Innovation Action on smart home/building/grid interoperability — a commercially relevant area with direct industry application.
- CIDAn MSCA-RISE project on computing with infinite data, notable for placing an applied sciences university inside a global network of leading theoretical computer scientists — an unusual profile for a Fachhochschule.