SPLASH 2023 (series) / João F. Ferreira
Registered user since Thu 5 Jan 2017
Name:João F. Ferreira
Bio:
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.
Country:Portugal
Affiliation:INESC-ID and IST, University of Lisbon
Personal website: https://joaoff.com
Research interests:Software Reliability, Software Verification, Formal Methods, Software Engineering
Contributions
2023
SPLASH
- Mentor in Program Committee within the Doctoral Symposium-track
- Session Chair of Welcome, Ice Breaker, Mentoring Talk (part of PLMW)
- Session Chair of Career Panel (part of PLMW)
- Session Chair of Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions (part of PLMW)
- PLMW Co-Chair in Organizing Committee
- Committee Member in Organizing Committee within the PLMW-track
SPLASH 2023-profile
View general profile
View general profile