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 Million funding for Deep Learning project in Leipzig
15.08.2018 | Max-Planck-Institut für Mathematik in den Naturwissenschaften (MPIMIS)

nachricht Advanced Grant for Grain Boundary Phase Transformations
06.08.2018 | Max-Planck-Institut für Eisenforschung GmbH

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

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

Im Focus: It’s All in the Mix: Jülich Researchers are Developing Fast-Charging Solid-State Batteries

There are currently great hopes for solid-state batteries. They contain no liquid parts that could leak or catch fire. For this reason, they do not require cooling and are considered to be much safer, more reliable, and longer lasting than traditional lithium-ion batteries. Jülich scientists have now introduced a new concept that allows currents up to ten times greater during charging and discharging than previously described in the literature. The improvement was achieved by a “clever” choice of materials with a focus on consistently good compatibility. All components were made from phosphate compounds, which are well matched both chemically and mechanically.

The low current is considered one of the biggest hurdles in the development of solid-state batteries. It is the reason why the batteries take a relatively long...

Im Focus: Color effects from transparent 3D-printed nanostructures

New design tool automatically creates nanostructure 3D-print templates for user-given colors
Scientists present work at prestigious SIGGRAPH conference

Most of the objects we see are colored by pigments, but using pigments has disadvantages: such colors can fade, industrial pigments are often toxic, and...

Im Focus: Unraveling the nature of 'whistlers' from space in the lab

A new study sheds light on how ultralow frequency radio waves and plasmas interact

Scientists at the University of California, Los Angeles present new research on a curious cosmic phenomenon known as "whistlers" -- very low frequency packets...

Im Focus: New interactive machine learning tool makes car designs more aerodynamic

Scientists develop first tool to use machine learning methods to compute flow around interactively designable 3D objects. Tool will be presented at this year’s prestigious SIGGRAPH conference.

When engineers or designers want to test the aerodynamic properties of the newly designed shape of a car, airplane, or other object, they would normally model...

Im Focus: Robots as 'pump attendants': TU Graz develops robot-controlled rapid charging system for e-vehicles

Researchers from TU Graz and their industry partners have unveiled a world first: the prototype of a robot-controlled, high-speed combined charging system (CCS) for electric vehicles that enables series charging of cars in various parking positions.

Global demand for electric vehicles is forecast to rise sharply: by 2025, the number of new vehicle registrations is expected to reach 25 million per year....

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

LaserForum 2018 deals with 3D production of components

17.08.2018 | Event News

Within reach of the Universe

08.08.2018 | Event News

A journey through the history of microscopy – new exhibition opens at the MDC

27.07.2018 | Event News

 
Latest News

Air pollution leads to cardiovascular diseases

21.08.2018 | Ecology, The Environment and Conservation

Researchers target protein that protects bacteria's DNA 'recipes'

21.08.2018 | Life Sciences

A paper battery powered by bacteria

21.08.2018 | Power and Electrical Engineering

VideoLinks
Science & Research
Overview of more VideoLinks >>>