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 Scientist at Kiel University receive EU funding to develop new implantats
22.11.2017 | Christian-Albrechts-Universität zu Kiel

nachricht Tracking down the origins of gold
08.11.2017 | Heidelberger Institut für Theoretische Studien gGmbH

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

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

Im Focus: New proton record: Researchers measure magnetic moment with greatest possible precision

High-precision measurement of the g-factor eleven times more precise than before / Results indicate a strong similarity between protons and antiprotons

The magnetic moment of an individual proton is inconceivably small, but can still be quantified. The basis for undertaking this measurement was laid over ten...

Im Focus: Frictional Heat Powers Hydrothermal Activity on Enceladus

Computer simulation shows how the icy moon heats water in a porous rock core

Heat from the friction of rocks caused by tidal forces could be the “engine” for the hydrothermal activity on Saturn's moon Enceladus. This presupposes that...

Im Focus: Nanoparticles help with malaria diagnosis – new rapid test in development

The WHO reports an estimated 429,000 malaria deaths each year. The disease mostly affects tropical and subtropical regions and in particular the African continent. The Fraunhofer Institute for Silicate Research ISC teamed up with the Fraunhofer Institute for Molecular Biology and Applied Ecology IME and the Institute of Tropical Medicine at the University of Tübingen for a new test method to detect malaria parasites in blood. The idea of the research project “NanoFRET” is to develop a highly sensitive and reliable rapid diagnostic test so that patient treatment can begin as early as possible.

Malaria is caused by parasites transmitted by mosquito bite. The most dangerous form of malaria is malaria tropica. Left untreated, it is fatal in most cases....

Im Focus: A “cosmic snake” reveals the structure of remote galaxies

The formation of stars in distant galaxies is still largely unexplored. For the first time, astron-omers at the University of Geneva have now been able to closely observe a star system six billion light-years away. In doing so, they are confirming earlier simulations made by the University of Zurich. One special effect is made possible by the multiple reflections of images that run through the cosmos like a snake.

Today, astronomers have a pretty accurate idea of how stars were formed in the recent cosmic past. But do these laws also apply to older galaxies? For around a...

Im Focus: Visual intelligence is not the same as IQ

Just because someone is smart and well-motivated doesn't mean he or she can learn the visual skills needed to excel at tasks like matching fingerprints, interpreting medical X-rays, keeping track of aircraft on radar displays or forensic face matching.

That is the implication of a new study which shows for the first time that there is a broad range of differences in people's visual ability and that these...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

Event News

Ecology Across Borders: International conference brings together 1,500 ecologists

15.11.2017 | Event News

Road into laboratory: Users discuss biaxial fatigue-testing for car and truck wheel

15.11.2017 | Event News

#Berlin5GWeek: The right network for Industry 4.0

30.10.2017 | Event News

 
Latest News

IceCube experiment finds Earth can block high-energy particles from nuclear reactions

24.11.2017 | Physics and Astronomy

A 'half-hearted' solution to one-sided heart failure

24.11.2017 | Health and Medicine

Heidelberg Researchers Study Unique Underwater Stalactites

24.11.2017 | Earth Sciences

VideoLinks
B2B-VideoLinks
More VideoLinks >>>