Nyheder

Den 21. februar 1972 blev Sven Skyum færdig som den første kandidat i datalogi fra Aarhus University. I sidste uge kunne vi fejre kandidat nummer 2000 - Lasse Rønne Møller. Samtidig kunne vores nyere uddannelse IT-Produktudvikling fejre kandidat nummer 200 - Louise Mathiasen. Ikke blot et stort 𝐭𝐢𝐥𝐥𝐲𝐤𝐤𝐞 til de to 'jubilæums-kandidater' men til hele årgang 2022. Tak for 5 gode år - vi håber, I vil holde kontakten!

Finding out whether a question is too difficult to ever solve efficiently depends on figuring out just how hard it is. Associate professor Srikanth Srinivasan, Nutan Limaye (IT University in Copenhagen) and Sébastien Tavenas (Savoy Mont Blanc University, France) have shown how to do that for a major class of problems. Their results are further elaborated in Quanta Magazine. The research paper also won "Best Paper Award" at the annual IEEE Symposium on Foundations of Computer Science (FOCS) earlier this year.

Congratulations to postdoc Jonathan Sterling, from the Logic and Semantics research group, who has received the highly prestigious Marie Sklodowska-Curie postdoc fellowship. Jonathan will be working on synthetic methods in program verification, and the aim of the project is to extend the successful STC approach to a wider class of programming models, in particular programming languages with effects.

𝐊𝐫𝐲𝐩𝐭𝐨𝐯𝐚𝐥𝐮𝐭𝐚𝐞𝐫 𝐦𝐚𝐧𝐠𝐥𝐞𝐫 𝐨𝐟𝐭𝐞 𝐭𝐢𝐥𝐬𝐭𝐫æ𝐤𝐤𝐞𝐥𝐢𝐠 𝐭𝐲𝐯𝐞𝐫𝐢𝐬𝐢𝐤𝐫𝐢𝐧𝐠 🔒 I et nyt forskningsprojekt skal Carsten Baum sammen med Bernardo David og Jari Kickbusch fra ITU medvirke til at skabe et bedre grundlag for at stoppe de mange virtuelle indbrud, hvor privatpersoner og virksomheder får stjålet for milliarder i kryptovalutaer. Projektet udspringer af et samarbejde på tværs af forskningsverden og den private sektor og inkluderer Aarhus Universitet, Alexandra Instituttet, IT-Universitetet i København og Copenhagen Fintech.

Congratulations to Amalie Brogaard Pauli who has received a PhD fellowship from Danish Data Science Academy (DDSA). Amalie will begin her PhD studies in September with Professor Ira Assent as supervisor, and Leon Derczynski from IT University in Copenhagen as co-supervisor.

Congratulations to PhD student Marius Hogräfer, bachelor student Jakob Burkhardt & associate professor Hans-Jörg Schulz who won the Honorable Mention Award at this year's International EuroVis Workshop on Visual Analytics for their paper "A Pipeline for Tailored Sampling for Progressive Visual Analytics".

Congratulations to assistant professor Magnus Madsen who received the junior AITO Dahl-Nygaard Prize during ECOOP 2022 in Berlin last week. Magnus received the recognition for his work on Flix – a next-generation reliable, safe, concise, and functional-first programming language.

Last week, we sent our scientific and administrative staff away on a two-day retreat. The purpose was to identify new possibilities of collaboration across research groups. However, there was also time for some fun and teambuilding. Day 1, ended with the CS Oscar Awards 🏆🎥 Congratulations to Crypto & Security for ‘Best Scientific Picture’, Algorithms & Complexity for ‘Most views on YouTube,’ and Sebastian Knudsen for ‘Best director’. Haven’t seen the videos yet? Check them out on our YouTube channel.

Den 21. februar 1972 blev Sven Skyum færdig som den første kandidat i datalogi fra Aarhus University. I sidste uge kunne vi fejre kandidat nummer 2000 - Lasse Rønne Møller. Samtidig kunne vores nyere uddannelse IT-Produktudvikling fejre kandidat nummer 200 - Louise Mathiasen. Ikke blot et stort 𝐭𝐢𝐥𝐥𝐲𝐤𝐤𝐞 til de to 'jubilæums-kandidater' men til hele årgang 2022. Tak for 5 gode år - vi håber, I vil holde kontakten!

Finding out whether a question is too difficult to ever solve efficiently depends on figuring out just how hard it is. Associate professor Srikanth Srinivasan, Nutan Limaye (IT University in Copenhagen) and Sébastien Tavenas (Savoy Mont Blanc University, France) have shown how to do that for a major class of problems. Their results are further elaborated in Quanta Magazine. The research paper also won "Best Paper Award" at the annual IEEE Symposium on Foundations of Computer Science (FOCS) earlier this year.

Congratulations to postdoc Jonathan Sterling, from the Logic and Semantics research group, who has received the highly prestigious Marie Sklodowska-Curie postdoc fellowship. Jonathan will be working on synthetic methods in program verification, and the aim of the project is to extend the successful STC approach to a wider class of programming models, in particular programming languages with effects.

𝐊𝐫𝐲𝐩𝐭𝐨𝐯𝐚𝐥𝐮𝐭𝐚𝐞𝐫 𝐦𝐚𝐧𝐠𝐥𝐞𝐫 𝐨𝐟𝐭𝐞 𝐭𝐢𝐥𝐬𝐭𝐫æ𝐤𝐤𝐞𝐥𝐢𝐠 𝐭𝐲𝐯𝐞𝐫𝐢𝐬𝐢𝐤𝐫𝐢𝐧𝐠 🔒 I et nyt forskningsprojekt skal Carsten Baum sammen med Bernardo David og Jari Kickbusch fra ITU medvirke til at skabe et bedre grundlag for at stoppe de mange virtuelle indbrud, hvor privatpersoner og virksomheder får stjålet for milliarder i kryptovalutaer. Projektet udspringer af et samarbejde på tværs af forskningsverden og den private sektor og inkluderer Aarhus Universitet, Alexandra Instituttet, IT-Universitetet i København og Copenhagen Fintech.

Congratulations to Amalie Brogaard Pauli who has received a PhD fellowship from Danish Data Science Academy (DDSA). Amalie will begin her PhD studies in September with Professor Ira Assent as supervisor, and Leon Derczynski from IT University in Copenhagen as co-supervisor.

Congratulations to PhD student Marius Hogräfer, bachelor student Jakob Burkhardt & associate professor Hans-Jörg Schulz who won the Honorable Mention Award at this year's International EuroVis Workshop on Visual Analytics for their paper "A Pipeline for Tailored Sampling for Progressive Visual Analytics".

Congratulations to assistant professor Magnus Madsen who received the junior AITO Dahl-Nygaard Prize during ECOOP 2022 in Berlin last week. Magnus received the recognition for his work on Flix – a next-generation reliable, safe, concise, and functional-first programming language.

Last week, we sent our scientific and administrative staff away on a two-day retreat. The purpose was to identify new possibilities of collaboration across research groups. However, there was also time for some fun and teambuilding. Day 1, ended with the CS Oscar Awards 🏆🎥 Congratulations to Crypto & Security for ‘Best Scientific Picture’, Algorithms & Complexity for ‘Most views on YouTube,’ and Sebastian Knudsen for ‘Best director’. Haven’t seen the videos yet? Check them out on our YouTube channel.