News

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…

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.

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…

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.