Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Paper Logic, Algebra, and Geometry at the Foundation of Computer Science with Tony Hoare and Alexandra Mendes.
I am always looking for new talented research students and post-doc researchers. Join me in beautiful Lisbon!
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.
PhD in Computer Science
University of Nottingham, UK
BSc in Mathematics and Computer Science
Minho University, Portugal