Menu Nederlands

Afshin Amighi

Afshin Amighi is a HBO post-doc at Creating 010 Knowledge Center. He received his PhD from University of Twente in 2018. He has a track record in parallel computing and verification techniques on concurrent programs. He started his research in Creating 010 on scalable and usable privacy preserving techniques. His main research interests are: high-performance computing, program correctness, automated verification techniques and formal methods.

A short bio: Afshin Amighi received his BSc degree in Software Engineering from Isfahan University of Technology, Isfahan, Iran. After receiving his bachelor's degree in 2000, he started working at the Information and Communication Technology Institute (ICTI). On September 2008, he got admitted to study in an international MSc program with specialization in Software Engineering for Distributed Systems at KTH, Stockholm, Sweden. In 2010, he participated in a live streaming P2P project. In 2011, he joined to the Formal Methods and Tools group at the EEMCS Department of University of Twente, The Netherlands as a PhD candidate. His research was funded by an ERC grant under project VerCors: Verification of Concurrent Data Structures. On September 2015 he started his career as a Computer Science lecturer in RUAS. His publication is listed in the reference section below.