Paulo Araújo
Cabify
Software Developer
Former employee at the High-Assurance Software Laboratory (HASLab)
(2016-2018)