Nyheder

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…