Nyheder

Prestigious STOC Test of Time Award to Ivan Damgård

- Public/media

At the top conference within theoretical computer science: “ACM Symposion on the theory of Computing” (STOC), Professor Ivan Damgård is to receive the…

Meet Tenure Track Assistant Professor Davide Mottin and his research in algorithms for network (a.k.a. graph) analysis

- Public/media

A few years ago Davide Mottin joined the Data-Intensive Systems research group at Department of Computer Science as a Tenure Track Assistant…

Meet Professor Ioannis Caragiannis and his research agenda in the interface of computer science and economics

- Public/media

In 2020, Ioannis Caragiannis started as Professor in the Computational Complexity and Game Theory research group at the Department of Computer…

DFF grant to Diego De Freitas Aranha

- CS frontpage

Congratulations to associate professor Diego De Freitas Aranha who has been granted DKK 2.87 million from Independent research fund Denmark for the…

Four papers accepted at CSF

- CS frontpage

Four papers from Logic and Semantics and CoBRA were accepted at the Computer Security Foundations Symposium (CSF). CSF is an annual conference for…

Meet Tenure Track Assistant Professor Andreas Pavlogiannis and his research in algorithmic aspects of software verification

- Public/media

In 2019 Andreas Pavlogiannis joined the Programming Languages research group at the Department of Computer Science as a Tenure Track Assistant…

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…