# Biography

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.

### Interests

• Software Reliability
• Software Verification
• Formal Methods applied to Software Engineering
• Interactive Storytelling

### Education

• PhD in Computer Science

University of Nottingham, UK

• BSc in Mathematics and Computer Science

Minho University, Portugal

# Recent Publications

View all the publications

Quickly discover relevant content by filtering publications.

# Selected Projects

View all the projects

#### Smartbugs

Executional framework for running analysis tools on smart contracts.

Tools and methods to improve password security.

#### FM Education

Tools, methods, and resources that support teaching formal methods.

#### Interactive Narratives

Tools and methods for computer-generated narratives.

# Recent Posts

View all the posts

### SmartBugs: An Execution Framework for Automated Analysis of Smart Contracts

SmartBugs is a new execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart …

### An Improved Proof of the Handshaking Lemma

In 2009, I posted a calculational proof of the handshaking lemma, a well-known elementary result on undirected graphs. I was very …

### Principles and Applications of APS

I am currently in Salamanca (Spain), attending the conference Tools for Teaching Logic III. My talk was on teaching logic through …

Suppose you write a program and you send the source code to two of your friends, ${\cal A}$ and ${\cal B}$. Your two friends read the …