Nyheder

Meet Tenure Track Assistant Professor Amin Timany and his research in program verification

- Public/media

In 2020, Amin Timany joined the Logic and Semantics research group at the Department of Computer Science as a Tenure Track Assistant Professor. Amin's…

All Danish universities join forces for the largest research and tech fair in the Nordic region

- CS frontpage

At the Department, we are happy to announce that we are part of the DIGITAL TECH SUMMIT, which will take place in Copenhagen this November. The event…