Aellison Cassimiro

About

All about security, formal methods and dev tooling.

Speaking appearances