Pedro Cunha concluded a Master Degree in Computer Science at the Faculty of Science, University of Porto and holds two bachelor degrees at the same University, one in Computer Science and the other in pure Mathematics. He is now a PhD student at the University of Porto. His PhD is about category theory applied to the definition of new semantic models for linear languages. He is supervised by Prof. Mário Florido at LIACC.