News

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.

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.

Vidur heard about Aarhus University from friends and chose to pursue a master’s degree here due to the Department's high ranking and the possibility to choose courses within his interests of data science and machine learning. That combined with a competitive tuition fee, work-life balance and the opportunity to work while studying, made him choose to study in Denmark.

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 and Benjamin Barslev have both studied computer science, completed a PhD in the research group Programming Languages ​​and now they are emerging as entrepreneurs. Together have created JSFIX - a program that automates a complex process that can be a headache for millions of JavaScript programmers worldwide. The promising project is based on knowledge they have acquired during their education, and has so far secured them grants of DKK 2.5 million. Watch this short interview from their morning talk at The Kitchen.

Congratulations to PhD student Marius Hogräfer, postdoc Jens Emil Grønbæk, research assistant Jana Puschmann, videographer Sebastian Krog Knudsen, and associate professor Hans-Jörg Schulz who won the 2022 Cybercartography Competition at AGILE’22 Conference on Geographic Information Science. Their entry submission “MapBlender: Enabling Collaborative Cybercartography” convinced the jury and won them the first price. We have asked PhD student Marius Hogräfer to tell us some more about the competition and their submission.

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.

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.

Vidur heard about Aarhus University from friends and chose to pursue a master’s degree here due to the Department's high ranking and the possibility to choose courses within his interests of data science and machine learning. That combined with a competitive tuition fee, work-life balance and the opportunity to work while studying, made him choose to study in Denmark.

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 and Benjamin Barslev have both studied computer science, completed a PhD in the research group Programming Languages ​​and now they are emerging as entrepreneurs. Together have created JSFIX - a program that automates a complex process that can be a headache for millions of JavaScript programmers worldwide. The promising project is based on knowledge they have acquired during their education, and has so far secured them grants of DKK 2.5 million. Watch this short interview from their morning talk at The Kitchen.

Congratulations to PhD student Marius Hogräfer, postdoc Jens Emil Grønbæk, research assistant Jana Puschmann, videographer Sebastian Krog Knudsen, and associate professor Hans-Jörg Schulz who won the 2022 Cybercartography Competition at AGILE’22 Conference on Geographic Information Science. Their entry submission “MapBlender: Enabling Collaborative Cybercartography” convinced the jury and won them the first price. We have asked PhD student Marius Hogräfer to tell us some more about the competition and their submission.