After completing a Bachelors of Science from the University of Pune, India, Sorren Hanvey pursued a Master’s in Software Engineering at the University of York, UK. His Master’s dissertation "Program Verification using SPARK and SMT-Solvers: Bridging the gap" dealt with developing a unified approach to program verification incorporating both the SPARK toolset and Yices. Following this he accepted a position with Critical Software Technologies Ltd. UK. While there he had the oppertunity to work on the PHILEAS project designing an automated self-steered public transport vehicle and the SWARM project conducting the design verification of the onboard software and the Attitude and Orbit Control Sub-system for the Astrium satellite.