Today, our knowledge of DNA is so advanced that you can order synthetic DNA of any sequence from bio-tech companies. This is incredibly useful for…

October 16-17, some of talented students attended Maker Faire Aarhus at Dokk1. Besides showing and telling the many visitors what IT Product Development is all about, they also took home the award for B E ST  H A C K ​​for the rocket 'Lunar Shuttle'   🥇

🎉 Congratulations to associate professor Srikanth Srinivasan, who has been granted the best paper award for his contribution to FOCS 2021 – the 62nd Annual IEEE Symposium on Foundations of Computer Science 🎉

Today, our knowledge of DNA is so advanced that you can order synthetic DNA of any sequence from bio-tech companies. This is incredibly useful for…

October 16-17, some of talented students attended Maker Faire Aarhus at Dokk1. Besides showing and telling the many visitors what IT Product Development is all about, they also took home the award for B E ST  H A C K ​​for the rocket 'Lunar Shuttle'   🥇

🎉 Congratulations to associate professor Srikanth Srinivasan, who has been granted the best paper award for his contribution to FOCS 2021 – the 62nd Annual IEEE Symposium on Foundations of Computer Science 🎉

Congratulations to postdoc Jonathan Sterling, who had the paper "A cost-aware logical framework" accepted at POPL 2022. The paper is written in collaboration with Yue Niu, Harrison Grodin, and Robert Harper.