Toronto, Canada
Interested in free software, debugging tools, testing and development workflows, disciplined programming and software verification.
Examples and techniques for rigorous programming
Experimental patches for https://gitlab.gnome.org/GNOME/sysprof