Martin Sparks
Jean-Marie Charles Abrial ha revolucionado la relación entre las matemáticas y la informática, siendo famoso por su B-Method para desarrollar software confiable. Su trabajo ha impactado industrias tecnológicamente avanzadas, desde la aeroespacial hasta la ferroviaria.
