WOLFGANG PAULI INSTITUT

Their core work

The Wolfgang Pauli Institut is a mathematical physics research platform in Vienna that provides a meeting ground for theorists working at the intersection of mathematics, physics, and computer science. In H2020, the institute contributed to two distinct areas: formal foundations of web security (program verification and formal methods applied to client-side browser security) and fault-tolerant quantum computing (molecular spin qudits, circuit QED, and quantum error correction). Their common thread is rigorous mathematical treatment of hard computational problems — whether securing web infrastructure or designing error-resilient quantum processors. The institute operates as a specialist contributor, embedding its mathematical and theoretical physics expertise into larger applied research consortia.

What they specialise in

How they've shifted over time

The institute entered H2020 through the lens of mathematical computer science, contributing formal methods and program verification expertise to a web security project (Browsec, from 2018). By 2020, their H2020 footprint had pivoted sharply toward quantum information science — specifically molecular spin systems, circuit QED, and fault-tolerant quantum processor design (FATMOLS). This shift likely reflects the broader WPI mission of tracking frontier problems in mathematical physics, as quantum computing became the dominant emerging field. The two projects are not contradictory: both demand rigorous mathematical reasoning, but the application domain moved from securing classical software to designing next-generation quantum hardware.

The institute is moving firmly into quantum information science, and any future collaboration is most likely to center on quantum error correction, hybrid quantum architectures, or the mathematical underpinnings of fault-tolerant quantum processors.

How they like to work

The Wolfgang Pauli Institut has participated exclusively as a consortium partner across its two H2020 projects — it has never served as project coordinator. This is consistent with an institute that provides deep specialist expertise to larger consortia rather than leading applied research programs. With only 12 distinct partners across 2 projects, the network is small and targeted, suggesting selective engagement in high-quality thematic consortia rather than broad network building.

The institute has collaborated with 12 unique partners spanning 6 countries across its two projects, indicating a European but modestly sized collaboration network. No geographic concentration is evident from the available data, though the Austrian/Central European base and mathematical physics focus likely attract partners from major university research groups across the EU.

What sets them apart

The Wolfgang Pauli Institut occupies a rare niche as a mathematical physics platform that bridges theoretical rigor with frontier computing challenges — from formal verification of software to the mathematical structure of quantum error correction. Unlike standard university departments or applied research centres, WPI functions as an ideas hub, attracting visiting researchers and embedding mathematical depth into consortia that need it. For a consortium building a project in quantum information theory, formal verification, or mathematical modelling of physical systems, WPI offers credibility and theoretical grounding that pure engineering partners cannot provide.

Highlights from their portfolio

• FATMOLS
  An FET-RIA project targeting molecular spin qudits as fault-tolerant quantum processors — one of the most technically ambitious quantum hardware directions in H2020, combining EPR spectroscopy, circuit QED, and quantum algorithm design.
• Browsec
  An ERC Consolidator Grant project (the most competitive individual EU research grant) focused on formal mathematical foundations for client-side web security — the only funded project for WPI, signalling strong theoretical credibility in this domain.