Afshin Amighi

Afshin Amighi received his BSc degree in Software Engineering from Isfahan University of Technology, Isfahan, Iran in 2000. Afterwards, he started working at the Information and Communication Technology Institute (ICTI). In September 2008, he started his MSc studies with specialization in Software Engineering for Distributed Systems at KTH, Stockholm, Sweden. In 2010, he participated in a live streaming P2P project at Tradix AB, Stockholm. In March 2011, he joined 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. Since September 2015 he has started his career as a Computer Science lecturer at the Rotterdam University of Applied Sciences (RUAS).