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 Extensive Funding for Research on Chromatin, Adrenal Gland, and Cancer Therapy
28.06.2017 | Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt

nachricht Otto Hahn Medal for Jaime Agudo-Canalejo
21.06.2017 | Max-Planck-Institut für Kolloid- und Grenzflächenforschung

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

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

Im Focus: 3-D scanning with water

3-D shape acquisition using water displacement as the shape sensor for the reconstruction of complex objects

A global team of computer scientists and engineers have developed an innovative technique that more completely reconstructs challenging 3D objects. An ancient...

Im Focus: Manipulating Electron Spins Without Loss of Information

Physicists have developed a new technique that uses electrical voltages to control the electron spin on a chip. The newly-developed method provides protection from spin decay, meaning that the contained information can be maintained and transmitted over comparatively large distances, as has been demonstrated by a team from the University of Basel’s Department of Physics and the Swiss Nanoscience Institute. The results have been published in Physical Review X.

For several years, researchers have been trying to use the spin of an electron to store and transmit information. The spin of each electron is always coupled...

Im Focus: The proton precisely weighted

What is the mass of a proton? Scientists from Germany and Japan successfully did an important step towards the most exact knowledge of this fundamental constant. By means of precision measurements on a single proton, they could improve the precision by a factor of three and also correct the existing value.

To determine the mass of a single proton still more accurate – a group of physicists led by Klaus Blaum and Sven Sturm of the Max Planck Institute for Nuclear...

Im Focus: On the way to a biological alternative

A bacterial enzyme enables reactions that open up alternatives to key industrial chemical processes

The research team of Prof. Dr. Oliver Einsle at the University of Freiburg's Institute of Biochemistry has long been exploring the functioning of nitrogenase....

Im Focus: The 1 trillion tonne iceberg

Larsen C Ice Shelf rift finally breaks through

A one trillion tonne iceberg - one of the biggest ever recorded -- has calved away from the Larsen C Ice Shelf in Antarctica, after a rift in the ice,...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

Event News

Closing the Sustainability Circle: Protection of Food with Biobased Materials

21.07.2017 | Event News

»We are bringing Additive Manufacturing to SMEs«

19.07.2017 | Event News

The technology with a feel for feelings

12.07.2017 | Event News

 
Latest News

Ultrathin device harvests electricity from human motion

24.07.2017 | Power and Electrical Engineering

Scientists announce the quest for high-index materials

24.07.2017 | Materials Sciences

ADIR Project: Lasers Recover Valuable Materials

24.07.2017 | Materials Sciences

VideoLinks
B2B-VideoLinks
More VideoLinks >>>