Computability with Partial Information

Objective

The objective of this proposal is to reintegrate the fellow in her home institution within a scientifically advanced research project. The scientific goal is to employ a new methodological approach to the study of an extension of the Turing information content model. This approach arises from a notion of uniform reducibility, introduced and studied by researchers in the host institution and is expected to provide the fellow with a novel powerful tool for attacking longstanding problems regarding definability, theory strength and the automorphism properties of the structure of the Turing degrees and its extensions. The fellow will be hired on a long-term contract with full social coverage initially at the second level of assistant professor. She will be supervised by internationally acknowledged researchers in the field and will be further trained to improve her research, teaching and leadership skills. The fellowship will aid her in establishing herself as an independent researcher and she is expected to reach the level of associate professor towards the
end of the three-year reintegration period. The benefit of the proposed fellowship is both scientific, with expected strong impact on the development of computability theory, and at community level, helping the EU to withstand brain-drain, ageing-related problems as well as the problem related to the lack of women researchers in exact sciences by preserving SU, FMI as one of the leading European centers in mathematical logic.

Keywords

Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)

• Computability theory
• Degree theory
• Enumeration reducibility
• Logic
• Mathematics
• Natural sciences
• Omega-enumeration reducibility
• Priority method
• Turing reducibility

Programme(s)

Multi-annual funding programmes that define the EU’s priorities for research and innovation.

• FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Topic(s)

Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.

• PEOPLE-2007-2-2.ERG - Marie Curie Action: "European Reintegration Grants"

Call for proposal

Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.

FP7-PEOPLE-ERG-2008
See other projects for this call

Funding Scheme

Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.

MC-ERG - European Re-integration Grants (ERG)

Coordinator