Concluiu o Doutoramento em Fundamentos de Computação na Universidade do Minho em 2009 com a tese " Visual Functional Programming – An Approach Based On…