Nyheder

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…

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…