News

2019.08.26 | Public/media, Featured, CS frontpage

ST TAP award winner

This year the AU, Science and Technology TAP Award went to Special consultant Søren Poulsen from the Departement of Computer Science for his unique contribution to the department over the past 12 years.

2019.08.22 | CPV, Public/media, Featured

Distinguished Paper Award

Congratulations to PhD student Daniel Gratzer! Daniel has just received a Distinguished Paper Award for at ICFP 2019, for the paper Implementing a Modal Dependent Type Theory.

2019.08.21 | CS frontpage, Featured, Public/media

Welcome to our 191 new bachelor students

Today, is the first day for 191 new bachelor students at Department of Computer Science. We look forward to meeting your all, and hope you will have a great and educational time at the department!

2019.08.01 | Public/media, Featured, CS frontpage

More women in IT programs

The number of women enrolled in IT programs at Aarhus University has increased by 31 percent since 2016. This is more than at the national level.

2019.08.01 | CPV

Welcome Alex Kavvos

On August 1, Alex Kavvos joined CPV as Postdoc. Alex studied Computer Science at the University of Oxford and completed a DPhil (PhD equivalent) in 2017. Following that, he moved to New England to work at Wesleyan University as a postdoc in Homotopy Type Theory. Alex is interested in the logical foundations of programming languages and computing…

2019.08.01 | CPV

Welcome Zesen Qian

On August , Zesen Qian, joined CPV as a PhD student. Zesen completed my master degree at Carnegie Mellon University in the autumn of 2019, before that he completed his bachelor degree at Shanghai Jiao Tong University. Welcome!

No articles found in this list