Nyheder

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…