2019.12.17 | CS frontpage, Featured, Public/media
Would you want to know how to predict certain diseases best? Or maybe rather which shoes to invest in when strategically building your sneaker portfolio? Or are you interested in finding out about the shipping routes of the transatlantic slave trade? None of these are computer science questions at first glance. Yet, computer science and in…
2019.12.17 | Featured, CPV, Public/media
On January 19-25, POPL 2020 will take place in New Orleans. Professor Lars Birkedal will function as program chair for the conference.
2019.12.05 | CS frontpage, Featured, Public/media
This week, first-year IT product development student displays their prototypes from the course Foundations in IT product design. Their assignment was to create shared interfaces for light control in a study setting. For the project, the groups all have created lamps and controllers but each with for a specific scenario which they have experienced…
2019.12.04 | CS frontpage, Featured, Public/media
The Danish think tank Cepos has compiled a list of the educations that provide the highest salary. If we only focus on IT programs, the best-paid education is computer science, with an average income of DKK 878,600 [article in Danish].
2019.11.29 | Public/media, Featured, CS frontpage
Congratulations to João Belo, Andreas Fender, Tiare Feuchtner and Kaj Grønbæk who won the best paper award at ACM International Conference on Interactive Surfaces and Spaces.
2019.11.19 | Public/media, Featured, CS frontpage
Congratulations to Kasper Green Larsen, who is among the 35 outstanding Sapere Aude research leaders, whom the Independent Research Fund Denmark has pointed out as being among the most capable young researchers. Kasper receives DKK 6,185,861 for his project "Data Structure Techniques in Cryptography and Machine Learning".
2019.11.18 | CS frontpage, Public/media, Featured
Congratulations to alumni Martin Mortensen, who was named IT Developer Talent 2019. IT talent is a competition hosted by Version2, Ingeniøren and Jobfinder where the IT Talents 2019 - in the categories consultant, developer and project manager - are announced.
2019.11.15 | CPV, Public/media
On December 18, Aarhus University will celebrate five new VILLUM Investigators, including Lars Birkedal. At the celebration, the five VILLUM Investigators will give a short talk about their research, which is followed by a reception for friends, family and colleagues.
2019.11.15 | CS frontpage, Featured, Public/media
According to a new survey, the city of Aarhus is the best student city in Denmark. Aarhus scored high across several key parameters: Career Opportunities, Education Institution Quality and City Reputation. All of them are categories that prospective students value the most.
2019.11.13 | CS frontpage, Featured, Public/media, COBRA
Jesper Buus Nielsen and his team work hard on their blockhcain research. The plan is for Concordium to launch their product in 2020, and if all go according to plan it could revolutionize the way deals and transactions are verified - and make DK a pioneer country within fintech [article in Danish].
2020.02.24 | COBRA
2020.02.21 | CS frontpage, Featured, Public/media
Yesterday, we opened the registration for the department's annual career day - Kdag - 2020. It is a popular event, and in just 1 hour and 38 minutes the event sold out. For those who did get a booth, we recommend to sign up for the waitlist (click on link to register).
2020.02.21 | CPV
Simon Friis Vindum has joined CPV as a PhD student from Feb 1. Simon completed a BSc. in Computer Science at Aarhus University. Prios to his studies, he worked as a full stack developer at a small start-up. In his spare time, he enjoys going for walks and has created several open source projects.
2020.02.20 | CPV, CS frontpage, Featured, Public/media
In January 2020, 600 people gathered in New Orleans for the 47'th edition of POPL. Chairman of POPL 2020, Lars Birkedal has written a blogpost about the event to give an overview of POPL 2020 from both a technical and non-technical perspective.
2020.02.05 | COBRA
2020.01.20 | COBRA
This week the COBRA researchers Danil Annenkov, Jakob Botsch Nielsen and Bas Spitters are attending the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP2020) in New Orleans where they will present the paper ConCert: A Smart Contract Certification Framework in Coq. CPP 2020 is co-located with…
2020.01.12 | COBRA
TPBC20 invites contributed talks in all sub-themes of consensus protocols, zero-knowledge proofs, privacy and anonymity-preserving techniques, language design and semantics for smart contracts, formal verification of cryptographic protocols and implementations, and other related topics. The TPBC20 steering committee will…
2020.01.08 | CS frontpage, Featured, Public/media
Over the next two years, the Blockchain Academy Network will train and educate top executives and technical managers in Danish companies to give them technological, business, and management insights into blockchain technology. Blockchain Academy Network is funded by Industriens Fond.
2020.01.07 | CPV
Abel Nieto joins CPV as a PhD student. Abel completed a BSc. in Computer Science at the University of Waterloo, in balmy Ontario, Canada. Before starting his MSc, Abel worked three years at Google, writing mobile apps and distributed systems. Welcome, we look forward to working with you!
2020.01.07 | CPV
Armaël Guéneau has joined CPV as a postdoc. Armaël did his PhD at Inria Paris in the Gallium team, with Arthur Charguéraud and François Pottier. When not in the office, he enjoys hacking on OCaml-related projects and sometimes the OCaml compiler. Welcome, we look forward to working with you!
