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.