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

