Core contributor to both SYSMICS (2016-2019) and MOSAIC (2021-2026), focusing on proof theory, residuated lattices, Kripke semantics, and duality theory.
UNIVERSITY OF DENVER COLORADO SEMINARY
US research university contributing expertise in mathematical logic and political science to European MSCA mobility programmes.
Their core work
The University of Denver is a US-based private research university contributing to European research through staff exchange and mobility programmes. Their H2020 involvement spans two distinct academic tracks: mathematical logic (particularly substructural and modal logics with applications in computer science) and political science (foreign policy analysis and post-conflict studies). As a third-party participant in MSCA actions, they provide specialist academic expertise and host visiting European researchers, serving as a transatlantic bridge for knowledge exchange.
What they specialise in
Participates in SUPPMIL (2022-2025), investigating political support for multilateral military missions using quantitative text analysis.
Contributed to GATED (2016-2019), studying segregated education in post-conflict Bosnia and implications for future European conflicts.
Participated in QUANTUM DYNAMICS (2016-2019), exploring new geometric approaches to quantum dynamics.
How they've shifted over time
Early participation (2016-2019) was spread across three diverse topics — quantum dynamics, substructural logics, and post-conflict education — suggesting the university contributed individual faculty experts rather than a unified research group. The more recent projects (2021 onward) show a consolidation around two clearer tracks: advanced mathematical logic (MOSAIC) and quantitative political science (SUPPMIL). The logic track in particular shows continuity and deepening, progressing from SYSMICS to the more ambitious MOSAIC project.
Their strongest continuity is in algebraic and modal logic research, making them a reliable long-term partner for formal methods and logic-based projects seeking a US collaborator.
How they like to work
The University of Denver participates exclusively as a third party — never as coordinator or direct partner — which is typical for non-EU institutions in MSCA mobility actions. With 58 unique consortium partners across 23 countries, they are embedded in broad, international networks rather than small bilateral collaborations. This pattern suggests they are valued for hosting incoming researchers and contributing specialist knowledge, but EU partners handle the administrative and coordination burden.
Connected to 58 unique partners across 23 countries, reflecting the large consortium sizes typical of MSCA-RISE actions. Their network spans Europe broadly with a transatlantic dimension, positioning them as a US node in European research mobility networks.
What sets them apart
As a US university participating in European research, the University of Denver offers something most EU-based partners cannot: a transatlantic dimension for MSCA mobility and exchange programmes. Their mathematical logic group shows genuine depth and continuity across two successive projects, making them a credible long-term collaborator in this niche. For consortium builders needing a US partner with proven H2020 experience, they are a low-risk choice with an established track record in MSCA actions.
Highlights from their portfolio
- MOSAICTheir most recent and longest-running project (2021-2026), showing sustained commitment to modal and substructural logics with direct continuation from their earlier SYSMICS work.
- SUPPMILRepresents a distinct political science capability using quantitative text analysis methods, broadening their profile beyond pure mathematics.
- GATEDUnusual topic for a US university — post-conflict education in Bosnia — demonstrating willingness to engage with European-specific societal challenges.