I am currently a researcher in HASLab/INESC TEC, working on the development of techniques and tools to verify software for programmable logic controllers.

I obtained my Ph.D degree in 2014, in the Universidade do Minho, Portugal, in the MAP-i doctoral program, under the supervision of João Saraiva and João Paulo Fernandes. My thesis is entitled "Embedding Attribute Grammars and their Extensions using Functional Zippers".

I obtained my Master's degree in 2010, where I developed language extensions to the Matlab programming environment.