Skip to main content

Computing with Infinite Data

Objective

The joint research in this programme will study important aspects—both theoretical as well as applied—of computing with infinite objects. A central aim is laying the grounds for the generation of efficient and verified software in engineering applications.

A prime example for infinite data is provided by the real numbers, most commonly conceived as infinite sequences of digits. While most applications in science and engineering substitute the reals with floating point numbers of fixed finite precision and thus have to deal with truncation and rounding errors, the approach in this project is different: exact real numbers are taken as first-class citizens and while any computation can only exploit a finite portion of its input in finite time, increased precision is always available by continuing the computation process.

This project aims to bring together the expertise of specialists in mathematics, logic, and computer science to push the frontiers of our theoretical and practical understanding of computing with infinite objects. Three overarching motivations drive the proposed collaboration:

Representability. Cardinality considerations tell us that it is not possible to represent arbitrary mathematical objects in a way that is accessible to computation. We will enlist expertise in topology, logic, and set theory, to address the question of which objects are representable and how they can be represented most efficiently.

Constructivity. Working in a constructive mathematical universe can greatly enhance our understanding of the link between computation and mathematical structure. Not only informs us which are the objects of relevance, it also allows us to devise always correct algorithms from proofs.

Efficient implementation. We also aim to make progress on concrete implementations. Theoretical insights from elsewhere will be tested in actual computer systems; obstacles encountered in the latter will inform the direction of mathematical investigation.

Call for proposal

H2020-MSCA-RISE-2016
See other projects for this call

Funding Scheme

MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)

Coordinator

UNIVERSITAET SIEGEN
Address
Adolf Reichwein Strasse 2A
57076 Siegen
Germany
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 72 000

Participants (12)

UNIVERSITAT TRIER
Germany
EU contribution
€ 76 500
Address
Universitatsring 15
54296 Trier
Activity type
Higher or Secondary Education Establishments
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
EU contribution
€ 207 000
Address
Geschwister Scholl Platz 1
80539 Muenchen
Activity type
Higher or Secondary Education Establishments
SWANSEA UNIVERSITY
United Kingdom
EU contribution
€ 112 500
Address
Singleton Park
SA2 8PP Swansea
Activity type
Higher or Secondary Education Establishments
THE UNIVERSITY OF BIRMINGHAM
United Kingdom
EU contribution
€ 90 000
Address
Edgbaston
B15 2TT Birmingham
Activity type
Higher or Secondary Education Establishments
INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 90 000
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
Activity type
Research Organisations
UNIVERZA V LJUBLJANI
Slovenia
EU contribution
€ 58 500
Address
Kongresni Trg 12
1000 Ljubljana
Activity type
Higher or Secondary Education Establishments
UNIVERSITEIT MAASTRICHT
Netherlands
EU contribution
€ 18 000
Address
Minderbroedersberg 4-6
6200 MD Maastricht
Activity type
Higher or Secondary Education Establishments
STOCKHOLMS UNIVERSITET
Sweden
EU contribution
€ 40 500
Address
Universitetsvagen 10
10691 Stockholm
Activity type
Higher or Secondary Education Establishments
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
EU contribution
€ 72 000
Address
Via 8 Febbraio 2
35122 Padova
Activity type
Higher or Secondary Education Establishments
UNIVERSIDADE DO ALGARVE
Portugal
EU contribution
€ 58 500
Address
Campus De Penha
8005 139 Faro
Activity type
Higher or Secondary Education Establishments
ASTON UNIVERSITY
United Kingdom
EU contribution
€ 27 000
Address
Aston Triangle
B4 7ET Birmingham
Activity type
Higher or Secondary Education Establishments
Fachhochschule Dortmund
Germany
EU contribution
€ 36 000
Address
Sonnenstraße 96
44139 Dortmund
Activity type
Higher or Secondary Education Establishments

Partners (8)

UNIVERSITY OF SOUTH AFRICA
South Africa
Address
Preller Street 340 Muckleneuck
0003 Pretoria
Activity type
Higher or Secondary Education Establishments
UNIVERSIDAD ANDRES BELLO
Chile
Address
Avenida Republica 440 Of 11
Santiago
Activity type
Higher or Secondary Education Establishments
KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
South Korea
Address
Daehak-ro 291 Yuseong Gu
305 701 Daejeon
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
NATIONAL UNIVERSITY CORPORATION JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
Japan
Address
Asahidai 1-1
923 1292 Nomi Ishikawa
Activity type
Higher or Secondary Education Establishments
INSTITUTION OF THE RUSSIAN ACADEMY OF SCIENCES A.P. ERSHOV INSTITUTE OF INFORMATICS SYSTEMS SIBERIAN BRANCH OF RAS
Russia
Address
Academica Lavrentieva Prospect 6
630090 Novosibirsk
Activity type
Higher or Secondary Education Establishments
UNIVERSITY OF CANTERBURY
New Zealand
Address
Private Bag 4800
8140 Christchurch
Activity type
Higher or Secondary Education Establishments
University of Cincinnati
United States
Address
Cincinnati,ohio
45221-0222 Cincinnati
Activity type
Higher or Secondary Education Establishments
NANYANG TECHNOLOGICAL UNIVERSITY
Singapore
Address
Nanyang Avenue 50
639798 Singapore
Activity type
Higher or Secondary Education Establishments