Mathematical logic and computation theory
4 European H2020 organizations list this as part of their work — 2 as their primary capability.
Most active in this area
- UNIVERSIDADE DO ALGARVE
Portuguese coastal university strong in marine observation, Mediterranean water resources, aquaculture biomedicine, and African prehistoric archaeology.
“Partner in CID (Computing with Infinite Data), spanning computable analysis, topology, and category theory.”
PT20 projects - NANYANG TECHNOLOGICAL UNIVERSITY
Singapore's major research university, hosting European researchers in MSCA exchanges across quantum sensing, secure communications, logic, and thermal engineering.
“CID (Computing with Infinite Data) and SYSMICS both focus on formal logic, computability, and connections between syntax and semantics.”
PrimarySG9 projects - KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
South Korea's leading science university, contributing specialist expertise in smart farming, social robotics, mathematical logic, and climate research to European consortia.
“CID project addressed computable analysis, exact real number computation, complexity theory, topology, and program extraction.”
KR8 projects - UNIVERSITY OF CANTERBURY
New Zealand university contributing computational modelling expertise to European consortia in environmental science, digital health, and mathematical logic.
“The CID project (2017-2023) focused on computable analysis, exact real number computation, complexity theory, topology, and category theory.”
PrimaryNZ5 projects