Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:

 

ERC grants 1,9 million euro to visionary basic research in mathematics

18.01.2010
The European Research Council has awarded Professor Thierry Coquand, University of Gothenburg, Sweden, with one of the most prestigious grants within the European Union. Thierry Coquand receives the ERC Advanced Grant of more than 20 million SEK (1,9 million euro) for his research in foundation of mathematics.
The ERC grant was established in 2008 and targets world-class European senior researchers.
'It is a very exciting research area in mathematics that I get the opportunity to probe more deeply' says Thierry Coquand, professor of computing science.

The research in Coquand's area stretches back over 100 years, when the philosopher and mathematician Bertrand Russell coined the concept of 'types' in an effort to solve a number of mathematical problems. Thus, the concept was originally developed in response to entirely internal problems within the field of foundation of mathematics.

The so-called type theory became the most precise formulation of logic, and eventually came to also include links between mathematical proofs and computer programmes. Today, the concept of types plays an important role in the context of different programming languages for example. Type theory is also used within fields such as linguistics and language technology, since a 'type' serves as a carrier of meaning and also facilitates correct grammar in translations. Coquand has been involved in the research project TYPES ever since it was started in the late 1980s.

Alan Turing, one of the founders of computer science, is another person who has played a critical role in the evolution of the research area. Around 1930, Turing solved Hilbert's "Entscheidungsproblem" (decision problem) by providing a rigorous definition of the mathematical concept of algorithm. While this may sound very abstract and inaccessible, Turing's definition of algorithms actually laid the foundation for digital computing as we know it. His definition has also had an enormous impact on how problems are solved in computer science.

Thierry Coquand's ERC grant is intended to push his research a step further on the path started by Bertrand Russel and Alan Turing.

'My work is a continuation of the work of Russell and Turing, and it deals mainly with a new way of connecting mathematical reasoning and algorithms, coming from more recent research in type theory' says Coquand.'But when it comes to future areas of application, I'd like to point out that the field may set off in a direction that's entirely different than we once thought. Nevertheless, the theoretical issues are extremely interesting to work with and solve, regardless of in what context the results will be applied.'

The ERC project is accepted scientifically and is now being negotiated.
Around the same time as Coquand was granted 20 million SEK (1,9 million euro) from the ERC, he learned that an application for another EU grant had been accepted as well. Coquand is the coordinator of the Formath Project, which has been granted 25 million SEK over three years. The Formath project includes three other European universities, and while it has links to the ERC grant, it is of a more concrete nature than the research visions that earned Coquand the ERC grant.
Contact information:
Professor Thierry Coquand, coquand@chalmers.se
Department of Computer Science and Engineering at the University of Gothenburg,
Phone: +46 (0)31 772 10 30
About the ERC
The European Research Council, ERC, is funded within EU's Seventh Framework programme and was established in 2007 with a mission to support the best researchers in Europe and eventually make Europe more globally competitive in the area of basic research.

The ERC grant is, unlike other EU grants, open to individual researchers. It does not require applicants to be part of a network. Grants are available in all areas of science, and cross-disciplinary applications are encouraged. The sole criterion is scientific excellence. (Source: The Swedish Research Council)

Helena Aaberg | idw
Further information:
http://www.gu.se/

Further reports about: ERC Advanced Grants Sek computer science programming language

More articles from Awards Funding:

nachricht CRTD receives 1.56 Mill. Euro BMBF-funding for retinal disease research
24.05.2017 | DFG-Forschungszentrum für Regenerative Therapien TU Dresden

nachricht BMBF funds translational project to improve radiotherapy
10.05.2017 | Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Strathclyde-led research develops world's highest gain high-power laser amplifier

The world's highest gain high power laser amplifier - by many orders of magnitude - has been developed in research led at the University of Strathclyde.

The researchers demonstrated the feasibility of using plasma to amplify short laser pulses of picojoule-level energy up to 100 millijoules, which is a 'gain'...

Im Focus: Can the immune system be boosted against Staphylococcus aureus by delivery of messenger RNA?

Staphylococcus aureus is a feared pathogen (MRSA, multi-resistant S. aureus) due to frequent resistances against many antibiotics, especially in hospital infections. Researchers at the Paul-Ehrlich-Institut have identified immunological processes that prevent a successful immune response directed against the pathogenic agent. The delivery of bacterial proteins with RNA adjuvant or messenger RNA (mRNA) into immune cells allows the re-direction of the immune response towards an active defense against S. aureus. This could be of significant importance for the development of an effective vaccine. PLOS Pathogens has published these research results online on 25 May 2017.

Staphylococcus aureus (S. aureus) is a bacterium that colonizes by far more than half of the skin and the mucosa of adults, usually without causing infections....

Im Focus: A quantum walk of photons

Physicists from the University of Würzburg are capable of generating identical looking single light particles at the push of a button. Two new studies now demonstrate the potential this method holds.

The quantum computer has fuelled the imagination of scientists for decades: It is based on fundamentally different phenomena than a conventional computer....

Im Focus: Turmoil in sluggish electrons’ existence

An international team of physicists has monitored the scattering behaviour of electrons in a non-conducting material in real-time. Their insights could be beneficial for radiotherapy.

We can refer to electrons in non-conducting materials as ‘sluggish’. Typically, they remain fixed in a location, deep inside an atomic composite. It is hence...

Im Focus: Wafer-thin Magnetic Materials Developed for Future Quantum Technologies

Two-dimensional magnetic structures are regarded as a promising material for new types of data storage, since the magnetic properties of individual molecular building blocks can be investigated and modified. For the first time, researchers have now produced a wafer-thin ferrimagnet, in which molecules with different magnetic centers arrange themselves on a gold surface to form a checkerboard pattern. Scientists at the Swiss Nanoscience Institute at the University of Basel and the Paul Scherrer Institute published their findings in the journal Nature Communications.

Ferrimagnets are composed of two centers which are magnetized at different strengths and point in opposing directions. Two-dimensional, quasi-flat ferrimagnets...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

Event News

Marine Conservation: IASS Contributes to UN Ocean Conference in New York on 5-9 June

24.05.2017 | Event News

AWK Aachen Machine Tool Colloquium 2017: Internet of Production for Agile Enterprises

23.05.2017 | Event News

Dortmund MST Conference presents Individualized Healthcare Solutions with micro and nanotechnology

22.05.2017 | Event News

 
Latest News

Camera on NASA's Lunar Orbiter survived 2014 meteoroid hit

29.05.2017 | Physics and Astronomy

Strathclyde-led research develops world's highest gain high-power laser amplifier

29.05.2017 | Physics and Astronomy

A 3-D look at the 2015 El Niño

29.05.2017 | Earth Sciences

VideoLinks
B2B-VideoLinks
More VideoLinks >>>