Chapman University

Their core work

Chapman University is a private research university in California with a faculty group specializing in mathematical logic — specifically the algebraic and proof-theoretic foundations of non-classical reasoning systems. Their H2020 work contributes expertise in substructural logics (logics that drop or restrict classical structural rules) and their extensions with modal operators, studied through both algebraic tools like residuated lattices and relational/topological tools like Kripke frames and duality theory. In practical terms, these are the formal systems that underpin software verification, constraint reasoning, and natural language semantics. Chapman participates in EU research networks as a transatlantic exchange partner, hosting and sending researchers within MSCA-RISE staff mobility schemes.

What they specialise in

How they've shifted over time

Chapman's first project, SYSMICS (2016–2019), focused on the core syntax-semantics interface in substructural logics — a foundational mathematical question about how proof systems and algebraic models correspond. The follow-on project MOSAIC (2021–2026) retains that foundation but layers modal operators on top, introducing Kripke semantics, duality theory, and coalgebras as new methodological tools. Most tellingly, MOSAIC adds applied logic and computational linguistics to the keyword set, indicating a deliberate move from pure mathematical foundations toward formal tools with computer-science and language-processing relevance.

Chapman is extending a strong pure-mathematics foundation in substructural logics toward modal extensions and applied areas — a trajectory that puts them in growing proximity to formal AI reasoning, natural language semantics, and software verification communities.

How they like to work

Chapman participates exclusively as a third party rather than a formal project partner, which in MSCA-RISE terms means they join staff exchange networks — hosting visiting European researchers and sending their own faculty abroad — without holding a grant contract directly. Despite holding no coordinator role across either project, they sit inside networks with 37 unique partners spanning 16 countries, reflecting the naturally broad consortium structures of RISE exchanges. Working with Chapman means engaging a committed but non-administrative partner: they contribute research expertise and researcher mobility capacity, not project management or infrastructure.

Chapman's two projects connect them to 37 unique consortium partners across 16 countries — a broad reach attributable to the large multi-site design typical of MSCA-RISE schemes, which aggregate many European logic research centres into a single exchange network. Their network is centred on European mathematical logic and theoretical computer science institutions, making them an established transatlantic node in that community.

What sets them apart

Chapman is one of very few North American universities with a continuous, decade-long presence inside EU mathematical logic research networks, giving them a rare transatlantic bridging role for MSCA-RISE and similar exchange schemes. Their sustained focus — both projects occupy the same tight niche of substructural and modal logics — signals a stable, identifiable research identity rather than opportunistic participation. For a European consortium needing a credible US partner with genuine depth in formal reasoning systems, Chapman offers both the expertise and the established relationships to make the collaboration substantive.

Highlights from their portfolio

• SYSMICS
  The founding project that established Chapman's place in the EU substructural logics network, running 2016–2019 and covering the syntax-semantics correspondence that underpins all subsequent work.
• MOSAIC
  An active project running through 2026 that expands the scope into modal logics and applied areas including computational linguistics, making it the best indicator of Chapman's current and near-future research direction.