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.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.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.
2019.12.19 | CS frontpage, Public/media, Featured
Yesterday, Aarhus University and Faculty of Science and Technology celebrated five new VILLUM Investigators at AIAS.
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".
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.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.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!
2020.01.02 | COBRA
From April 20th to 22nd, Department of Information and Communication Technologies at Pompeu Fabra University will host the workshop Theory and Practice of Blockchains 2020 (TPBC20) in collaboration with COBRA. TPBC20 will bring together researchers working on the theory and implementation of blockchains and…
2019.12.19 | CPV
Yesterday, Aarhus University and Faculty of Science and Technology celebrated five new VILLUM Investigators at AIAS. Founder of VELUX and the VILLUM Foundation, Villum Kann Rasmussen once said; “You can get great ideas anywhere, but if you want them to succeed go to Jutland”. This notion might still be at the heart of the foundation, as the…
2019.12.06 | COBRA
Karl Palmskog will be visiting COBRA from 10 to 11 December. He is a researcher in the Secure and Trustworthy Execution Platform group at KTH Royal Institute of Technology in Stockholm, Sweden, working on formal verification of system software. He was previously a postdoc at The University of Texas at Austin and University of Illinois at…
2019.11.28 | COBRA
This week from 28 to 30 November Daniel Tschudi and Christian Matt from Concordium AG will be visiting COBRA.
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.
