Susan Stepney
Susan Stepney is a British computer scientist who is a professor at the University of York. Her research considers non-standard computing and bio-inspired algorithms. She was previously at Logica and Marconi Research Centre, where she developed new programming languages and computational models.
Early life and education
Stepney became interested in science and science fiction at a young age. She completed her undergraduate and graduate degree at the University of Cambridge, where she studied theoretical physics and Part III of the Mathematical Tripos. Her doctoral research involved using analytical mathematics and Fortran to understand relativistic astrophysics plasmas. She was a postdoctoral researcher at the University of Cambridge. She left academia to join industry, moving to join the Marconi Research Centre, where she worked with Transputers and Occam on a Parallel Simulation Facility. She designed and implemented a tool for Graphical Representation of Activity, Interconnection and Loading. She used the Z specification language to develop a framework for an access control system that allowed users from multiple administrators to communicate whilst the administrators retained network-wide control. She animated the access control system in Prolog.Research and career
Stepney moved to Logica in 1989, where she spent thirteen years working on mathematical modelling of computing systems and specialising in the Z notation. She worked on a high integrity compiler for high integrity applications, which became known as DeCCo. Stepney's DeCCo compiler was deployed on processors at Qinetiq and Atomic Weapons Establishment. She developed a formal language tool for Logica using Smalltalk.In 2002, Stepney joined the University of York, where she worked on unconventional computing. She has worked on physical computation and the programming requirements for unconventional requirements. She has developed computer simulations of complex systems, including pioneering evolutionary algorithms for biological and chemical processes.