2016.03.18 | CS frontpage, People , Research news, Featured, Public/media, Staff, Students, Alumni, Awards

Villum Foundation supports new project on Guarded Homotopy Type Theory

Professor Lars Birkedal has received 3.3 Mkr from the Villum Foundation in support of a research project on Guarded Homotopy Type Theory.  The goal of the project is to develop new theories for and prototypes of proof assistants, which can be used within both mathematics and computer science.  The project will fund co-applicant visiting…

2016.03.09 | CS frontpage, Featured, Public/media

Researcher talent gets 6.6 million to demonstrate that certain algorithms do not exist

With five million DKK from the Villum Foundation and 1.64 million DKK from Aarhus University Research Foundation Assistant Professor Kasper Green Larsen from Department of Computer Science, Aarhus University can put together a group that is to try to crack the nut on how quickly you can search, calculate and analyze huge data volumes.

2016.03.08 | CTIC, CS frontpage, CFEM , Featured, Public/media

Theory and Practice of Secure Multiparty Computation

From May 30 to June 3, 2016, CFEM and CTIC are hosting a workshop on the theory and practice of MPC, bringing together experts in all aspects of the subject. The workshop is organized in collaboration with the MPCPRO project. The workshop is open for all participants but the target audience is PhD students, postdocs and faculty members.