Chalmers University of Technology (@chalmersuniv) 's Twitter Profile
Chalmers University of Technology

@chalmersuniv

News in English from one of Sweden's top scientific universities, leading the way to a sustainable future.

press (at) chalmers.se

Swedish @chalmersnyheter

ID: 2492619936

linkhttp://www.chalmers.se/en/ calendar_today13-05-2014 08:30:36

731 Tweet

4,4K Takipçi

282 Takip Edilen

Chalmers University of Technology (@chalmersuniv) 's Twitter Profile Photo
Chalmers University of Technology
@chalmersuniv

3 years ago

Congratulations are in order to Thierry Coquand from Computer Science and Engineering, Gothenburg who has been awarded a *second* European Research Council (ERC) Advanced Grant to continue his work on representation of #mathematical proofs. A fantastic achievement to be awarded twice! #computerscience chalmers.se/en/departments…

Congratulations are in order to Thierry Coquand from <a href="/cse_gbg/">Computer Science and Engineering, Gothenburg</a> who has been awarded a *second* <a href="/ERC_Research/">European Research Council (ERC)</a> Advanced Grant to continue his work on representation of #mathematical proofs. A fantastic achievement to be awarded twice! #computerscience chalmers.se/en/departments…