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