Frederico Thomaz de Aquino Franzosi

Possui graduação em Ciência da Computação pela Universidade Federal do Espírito Santo (2006), mestrado em European Master's Program in Computational Logic - Technische Universitat Dresden (2008) e mestrado em European Master's Program in Computational Logic - LIBERA UNIVERSITÀ DI BOLZANO - FACOLTÀ DI SCIENZE (2008). Tem experiência na área de Ciência da Computação, com ênfase em Especificação e Verificação de Software bem como Programação Paralela e Distribuída.