Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Kac-Moody groups and Computer Assistants in Mathematics

Objetivo

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.

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

MSCA-IF-EF-RI - RI – Reintegration panel

Ver todos los proyectos financiados en el marco de este régimen de financiación

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

(se abrirá en una nueva ventana) H2020-MSCA-IF-2014

Ver todos los proyectos financiados en el marco de esta convocatoria

Coordinador

THE UNIVERSITY OF BIRMINGHAM
Aportación neta de la UEn

Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.

€ 195 454,80
Dirección
Edgbaston
B15 2TT Birmingham
Reino Unido

Ver en el mapa

Región
West Midlands (England) West Midlands Birmingham
Tipo de actividad
Higher or Secondary Education Establishments
Enlaces
Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

€ 195 454,80
Mi folleto 0 0