Aarhus University Seal / Aarhus Universitets segl

Nyheder

Denne sides indhold er kun tilgængeligt på Engelsk

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…