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 ERC: Six Advanced Grants for Helmholtz
10.04.2017 | Hermann von Helmholtz-Gemeinschaft Deutscher Forschungszentren

nachricht German Federal Government Promotes Health Care Research
29.03.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: Making lightweight construction suitable for series production

More and more automobile companies are focusing on body parts made of carbon fiber reinforced plastics (CFRP). However, manufacturing and repair costs must be further reduced in order to make CFRP more economical in use. Together with the Volkswagen AG and five other partners in the project HolQueSt 3D, the Laser Zentrum Hannover e.V. (LZH) has developed laser processes for the automatic trimming, drilling and repair of three-dimensional components.

Automated manufacturing processes are the basis for ultimately establishing the series production of CFRP components. In the project HolQueSt 3D, the LZH has...

Im Focus: Wonder material? Novel nanotube structure strengthens thin films for flexible electronics

Reflecting the structure of composites found in nature and the ancient world, researchers at the University of Illinois at Urbana-Champaign have synthesized thin carbon nanotube (CNT) textiles that exhibit both high electrical conductivity and a level of toughness that is about fifty times higher than copper films, currently used in electronics.

"The structural robustness of thin metal films has significant importance for the reliable operation of smart skin and flexible electronics including...

Im Focus: Deep inside Galaxy M87

The nearby, giant radio galaxy M87 hosts a supermassive black hole (BH) and is well-known for its bright jet dominating the spectrum over ten orders of magnitude in frequency. Due to its proximity, jet prominence, and the large black hole mass, M87 is the best laboratory for investigating the formation, acceleration, and collimation of relativistic jets. A research team led by Silke Britzen from the Max Planck Institute for Radio Astronomy in Bonn, Germany, has found strong indication for turbulent processes connecting the accretion disk and the jet of that galaxy providing insights into the longstanding problem of the origin of astrophysical jets.

Supermassive black holes form some of the most enigmatic phenomena in astrophysics. Their enormous energy output is supposed to be generated by the...

Im Focus: A Quantum Low Pass for Photons

Physicists in Garching observe novel quantum effect that limits the number of emitted photons.

The probability to find a certain number of photons inside a laser pulse usually corresponds to a classical distribution of independent events, the so-called...

Im Focus: Microprocessors based on a layer of just three atoms

Microprocessors based on atomically thin materials hold the promise of the evolution of traditional processors as well as new applications in the field of flexible electronics. Now, a TU Wien research team led by Thomas Müller has made a breakthrough in this field as part of an ongoing research project.

Two-dimensional materials, or 2D materials for short, are extremely versatile, although – or often more precisely because – they are made up of just one or a...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

Event News

Expert meeting “Health Business Connect” will connect international medical technology companies

20.04.2017 | Event News

Wenn der Computer das Gehirn austrickst

18.04.2017 | Event News

7th International Conference on Crystalline Silicon Photovoltaics in Freiburg on April 3-5, 2017

03.04.2017 | Event News

 
Latest News

NASA's Fermi catches gamma-ray flashes from tropical storms

25.04.2017 | Physics and Astronomy

Researchers invent process to make sustainable rubber, plastics

25.04.2017 | Materials Sciences

Transfecting cells gently – the LZH presents a GNOME prototype at the Labvolution 2017

25.04.2017 | Life Sciences

VideoLinks
B2B-VideoLinks
More VideoLinks >>>