New Associate Professor
Exactly 4 years after Amin Timany joined the Logic and Semantics research group as a Tenure Track Assistant Professor to do research within program verification, he has been promoted to associate professor.
Amin has received excellent international reviews for making several fundamental contributions within his research area and for his outstanding publication record. His research focuses on developing theories and tools for formal (machine-verified) proofs of correctness and security properties of both individual programs and programming languages with respect to detailed semantic models of program execution.
His volume of teaching is impressive and also very important to Amin Timany. He has been co-teaching both the bachelor course on compilers and the master’s level courses on program logics and advanced topics in programming languages.
To get more information about Amin’s research and background, see https://cs.au.dk/news-events/pages/2021/meet-amin-timany-tenure-track-assistant-professor