2019.05.10 | Public/media, Featured, CS frontpage
Congratulations to Associate Professor Kristoffer Arnsfelt Hansen who has been granted DKK 2.4 mill from the Independent Research Fund Denmark to do research in computational complexity in relation to game theory. The project will consider the computational complexity of equilibria and fixed points. He will study the complexity of equilibrium…
2019.05.09 | CS frontpage, Featured, Public/media, CPV
Lars Birkedal and 10 other recognized scientists – and newly appointed Villum Investigators - were honored 2 May 2019. Together, they have received DKK 410 million from VILLUM FONDEN for research projects ranging from climate to cybersecurity.
2019.05.07 | Public/media, Featured, CS frontpage
For the second time, the Department of Computer Science conducted quota 2 admission tests. The test will help ensure that the department’s new students have some good academic prerequisites and a strong motivation. This year, 68 computer science applicants and 25 IT product development applicants were tested in their study ability, and gained an…
2019.04.15 | CS frontpage, Featured, Public/media
Once again, the Peter Bøgh Auditorium was completely filled, as the Department of Computer Science at Aarhus University organized Katrinebjerg Career Day (also called Kdag) for the fifth time. 52 companies from Denmark and abroad participated to tell what they can offer some of Denmark's most sought after students.
2019.04.02 | People , CS frontpage, Featured, Public/media, CPV
VILLUM FONDEN has selected Professor Lars Birkedal to become a Villum Investigator. With this honor comes a grant of DKK 35.4 million to set up the Center for Basic Research in Program Verification (CPV) at the Department of Computer science, Aarhus University.
2019.04.01 | CS frontpage, Featured, Public/media
On March 20, PhD student Manuel Ciosici represented Computer Science at the 3MT competition. 20 PhD students from AU were selected to present their thesis - in just three minutes. See the video to learn more about Manuel's thesis and what words mean to computers.
2019.03.26 | CS frontpage, Featured, Public/media
Last week, IT Product Development students Marie-Louise Stisen Sørensen and Ninna Hoffmann helped the girls from Digipipi Aarhus to build cardboard creatures with blinking eyes and beating hearts programmed with BBC’s micro:bit. Digipipi, whose mission is to balance the gender gap within IT, technology and digitization, has in collaboration…
2019.03.19 | CS frontpage, Featured, Public/media
As part of an ambitious strategic investment to radically expand the Department of Computer Science, Aarhus University - an international top-100 University - is looking for an excellent and visionary Full Professor to push the frontiers of Computer Science research.
2019.03.18 | Public/media, Featured, CS frontpage
Associate Professor in Cryptology from Aarhus University, Claudio Orlandi, is in the running when the US organisation NIST (The National Institute of standards and Technology) has challenged the cryptographers from all over the world to bid on, how to protect the communication between individuals and organizations on the Internet if or when…
2019.03.10 | CS frontpage, Featured, Public/media
At the end of the year, Ole Lehrmann Madsen will retire as CEO of Alexandra Instituttet and return to his professorship at the department. Ole will pursue a research project on implementing advanced Object-Oriented programming language concepts on small IoT devices.
2019.10.10 | COBRA
Daniel Tschudi from Concordium AG will visit COBRA as visiting researcher from October 12 to 19, 2019.
2019.10.09 | Public/media, Featured, CS frontpage
Marianne G. Petersen and her colleagues from School of Communication and Culture, Ole Iversen and Rachel Smith, have received 10 mio DKK to investigate how we make digital technology such as artificial intelligence accessible to children so that they learn about the consequences of using it.
2019.10.09 | Public/media, Featured, CS frontpage
Congratulations to Ira Assent and Hans Jörg Schulz, who are part of the new Hospital@Night project which is funded by Innovation Fund Denmark.
2019.10.08 | COBRA
On Friday this week the COBRA researchers Jakob Botsch Nielsen, Danil Annenkov and Bas Spitters will give two lectures at FMBC19: "Towards a Smart Contract Verification Framework in Coq" and "Smart Contract Interactions in Coq". FMBC19 is the 1st Workshop on Formal Methods for Blockchains and will take…
2019.10.01 | CS frontpage, Featured, Public/media
If null reference exceptions are toothpaste, can we still get them back in the tube? Let’s look at some of the things we are doing to C# now and in the future, focusing on features that may be interesting to hear about even if you are not already a C# programmer.
2019.09.28 | CS frontpage, Featured, Public/media
High schools, from all over Denmark, competed yesterday in a qualification tournament to represent Denmark at the international First Global Robot competition. CONGRATULATIONS to the winning team from Aalborg Technical High School. They will compete against 175+ nations at the finals in Dubai.
2019.09.27 | COBRA
On October 3, 2019, the paper The Simplest Multi-key Linearly Homomorphic Signature Schemes will be presented at LatinCrypt 2019. The paper is partly supported by COBRA and has Assistant Professor and PI at COBRA Diego Aranha one of it's authors.
2019.09.27 | Public/media, Featured, CS frontpage
On October 8th, ALICE will host an afternoon event celebrating both Ada Lovelace, women in STEM, and not least the launch of ALICE.
2019.09.25 | CS frontpage, Featured, Public/media
Congratulations to Peyman Afshani who received the ESA best paper award for Fragile Complexity of Comparison-Based Algorithms at the ALGO 2019 in Munich. In the paper, Afshani et al. initiate a study of algorithms with a focus on the computational complexity of individual elements, and introduce the fragile complexity of comparison-based…
2019.09.20 | CS frontpage, Featured, Public/media
One of the most important things to get for a successful start at university is a well-functioning study group. The HatchIt resident UniHelpr has created an algorithm that can assemble study groups based on personality and skills. This year, AU has used the algorithm for more than 2,000 students.
