Objective
This fellowship will enable the experienced Researcher Dr Rieuwert Blok - a currently USA-based European Union national - and Dr Corneliu Hoffman - as Host researcher based at the University of Birmingham - to carry out innovative and mutually beneficial research utilising their complementary skill sets. Blok brings extensive research experience in buildings, Lie theory and geometries while Hoffman's background is in group theory, representation theory and number theory. The fellowship aims to create optimal conditions for the Researcher to reintegrate into ERA for the benefit of both the Researcher and the ERA.
The action comprises two distinct, yet interconnected Work Packages .
The first one concerns Curtis-Tits groups, a large family of groups recently introduced by the Researcher and Dr Hoffman.
This family includes groups of established importance, namely groups of Lie and Kac-Moody type, but in fact contains many new groups of great theoretical significance and practical interest.
The action develops methods that open up this promising family for further study. It then determines key properties such as simplicity, and explores and establishes applications in geometric group theory, combinatorics, group presentations, and computer science. The subject area is an innovative blend of group theory, homological algebra, topology, geometry, number theory and computer science.
The second package is an interdisciplinary project between mathematics and computer science, exploring the promise of effectively using the recent developments surrounding proof assistants in teaching and research.
It builds forth upon pioneering work in this direction by both researchers at their respective universities.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences mathematics pure mathematics topology
- natural sciences mathematics pure mathematics arithmetics
- natural sciences mathematics pure mathematics algebra
- natural sciences mathematics pure mathematics geometry
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
MAIN PROGRAMME
See all projects funded under this programme -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
See all projects funded under this programme
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.
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.
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.
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.
MSCA-IF-EF-RI - RI – Reintegration panel
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) H2020-MSCA-IF-2014
See all projects funded under this callCoordinator
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
B15 2TT Birmingham
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.