is a Senior Engineer in Altran’s High Integrity Software division, and
currently leads the SPARK Evolution work being performed under the
HICLASS R&D programme. He is a specialist
in flow analysis, frequently working in partnership with AdaCore.
Simon joined Altran when he graduated from the University of Bath with a Bachelor's Degree with Honours in Computer Science. During his career he has worked across various industries, including rail and aviation.
When he is not at a keyboard, Simon can be found baking / cycling / salsa dancing.
1 entries written by Simon Buist