Pedro Ângelo concluded his PhD in Computer Science in 2024, in the Faculty of Science, University of Porto. He also holds a Master Degree in Computer Science and a Bachelor Degree in Network Engineering at the same University. He is now an invited Auxiliary Professor at the Informatics Department of the Faculty of Science, University of Lisbon. He published several papers in top conferences of his research area and has participated in several Research Projects and European Cost Actions. Currently his research interests are concurrent programming and session types, object oriented programming models and gradual types.