Nyheder

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.

Congratulations to computer science student Oscar Antonio Borlund Orellana who won the second-place in the Grundfos Awards yesterday 🎉 Oscar won for his software company Nuntio, which by the judges was pointed out as developed on a very high level of ambition. For more info check out nuntio.io/. Grundfos Awards is a celebration of innovative students from Aarhus University who in the past year have received an EarlyCash Grant to test both themselves and their idea.

Martin Torp og Benjamin Barslev har begge læst datalogi, færdiggjort en PhD i forskningsgruppen Programming Languages og nu springer de ud som iværksættere. Sammen har skabt JSFIX - et program der automatiserer en kompliceret proces, som kan være en hovedpine for millioner af JavaScript-programmører verden over. Det lovende projekt bygger på viden, de har tilegnet sig i løbet af deres uddannelse, og har indtil videre sikret dem bevillinger på 2,5 millioner kroner.

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.

Congratulations to computer science student Oscar Antonio Borlund Orellana who won the second-place in the Grundfos Awards yesterday 🎉 Oscar won for his software company Nuntio, which by the judges was pointed out as developed on a very high level of ambition. For more info check out nuntio.io/. Grundfos Awards is a celebration of innovative students from Aarhus University who in the past year have received an EarlyCash Grant to test both themselves and their idea.

Martin Torp og Benjamin Barslev har begge læst datalogi, færdiggjort en PhD i forskningsgruppen Programming Languages og nu springer de ud som iværksættere. Sammen har skabt JSFIX - et program der automatiserer en kompliceret proces, som kan være en hovedpine for millioner af JavaScript-programmører verden over. Det lovende projekt bygger på viden, de har tilegnet sig i løbet af deres uddannelse, og har indtil videre sikret dem bevillinger på 2,5 millioner kroner.