Apresentação Pessoal

João F. Ferreira é professor associado na FEUP, Universidade do Porto, e investigador no INESC-ID. Co-coordena o Software Reliability Lab. Coordena a área de Raciocínio Automático e Fiabilidade de Software no INESC-ID. O seu trabalho abrange desde métodos empíricos de engenharia de software, que podem informar os profissionais e orientar a investigação futura, até métodos formais que permitem verificar a ausência de determinados tipos de erros. Para mais detalhes, consulte as publicações selecionadas.

Website: https://joaoff.com