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…