Miguel Borges
Critical Materials, SA
Senior Engineer
Former employee at the High-Assurance Software Laboratory (HASLab)
(2011-2012)