André Trindade is an MSc Computer Science and Engineering finalist at NOVA School of Science and Technology. For 2 years he has integrated a research team at NOVA LINCS where he had the opportunity to develop work on the subject of Behavioral Types and, more recently, Deductive Program Verification, under the supervision of António Ravara.