Registered user since Thu 5 Jan 2017
João F. Ferreira is a CS Prof 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.
|ICSE 2024|| Proceedings Co-Chair in Organising Committee|
Committee Member in Research Track within the Research Track-track
|Show activities from other conferences|