João F. Ferreira

Computer Scientist

IST, University of Lisbon

INESC-ID, Lisboa

João F. Ferreira is an assistant professor at IST, University of Lisbon, and a researcher at INESC-ID. His research is on mathematical approaches to software quality, with emphasis on program construction and verification. For more details, see selected publications.

For more information about João F. Ferreira, visit his website.