Vasco Manquinho

A look into how Boolean networks model biological interactions.

Introducing a method that improves bug-finding in C software development.

A new tool offers quick feedback for programming assignments.