π-calculus, Session Types research at Imperial College

Shahin Honarvar
PhD Student

Shahin is a PhD student of Professor Nobuko Yoshida. He earned his master’s degree in Data Analytics from the University of Warwick, where he worked on the quantization of graph neural networks. Shahin received his BSc degree from the University of Leicester, where he developed QSharpCheck, the first property-based testing framework of Quantum programs in Q# and published the corresponding paper. During his PhD, he concentrates on the formal verification of cyber-physical systems using multi-party sessions, reversible sessions, and motion sessions calculi.