CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The InfTy project aims to develop mathematical methods for reasoning about programs that handle infinite objects. By creating compositional typed formalisms and integrating them with rewriting techniques, the research seeks to enhance the safety and reliability of software systems that manipulate infinite data.
Infinite objects are ubiquitous in computer science, e.g., an interactive program may be modelled as taking for input a stream (an infinite list) of requests and producing a stream of responses.
In theoretical computer science infinite objects play an important role e.g. in automata theory and exact real number arithmetic.
Representing and reasoning about infinite computations is crucial in designing safe software systems.The objective of InfTy is to devise mathematical methods for reasoning abo…
KOBENHAVNS UNIVERSITET
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
