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 project Residue Number Systems for Cryptography (RENAIS). The field of cryptography evolves in a non-linear way, where attacks against conventional techniques launch a new wave of ideas that make the next generation of systems more secure.

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 researchers within computer security, and will take place online from June 21-24. See the full list of accepted papers and the conference program at: www.ieee-security.org/TC/CSF2021/accepted.html

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 Professor. Since he arrived at the department, Andreas's main research has been focusing on algorithmic aspects of software verification.

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 project Residue Number Systems for Cryptography (RENAIS). The field of cryptography evolves in a non-linear way, where attacks against conventional techniques launch a new wave of ideas that make the next generation of systems more secure.

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 researchers within computer security, and will take place online from June 21-24. See the full list of accepted papers and the conference program at: www.ieee-security.org/TC/CSF2021/accepted.html

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 Professor. Since he arrived at the department, Andreas's main research has been focusing on algorithmic aspects of software verification.