BSc in Informatics Engineering from Universidade do Minho, Braga, Portugal.

MSc in Informatics from Universidade do Minho, Braga, Portugal.

Enrolled in PhD.

Research interests in: Formal Methods, Program Verification, Concurrency.

Life interests: Budô.