Ignacio D.
Lopez-Miguel

Ignacio hat einen Bachelor-Abschluss in Wirtschaftsingenieurwesen und begann in der Finanzbranche zu arbeiten. Während dieser Zeit arbeitete er in drei Ländern und begann ein Bachelorstudium in Mathematik. Dann entschied er sich, einen Master in künstlicher Intelligenz zu beginnen. Vor dem Ende seines Masterstudiums kam er zum CERN, wo er einen Teil des Codes zur Steuerung der Teilchenbeschleuniger formell verifizierte. Diese Erfahrung ermöglichte es ihm auch, mit der NASA zusammenzuarbeiten. Derzeit arbeitet er an seiner Doktorarbeit, die Logik und künstliche Intelligenz als Teil der Forschungsgruppe für vertrauenswürdige Cyber-Physical Systems an der TU Wien kombiniert.