Author details

Simon Foster
Affiliation
Dukosi, Edinburgh, United Kingdom
Biography
Simon Foster received the Ph.D. degree in computer science from the University of Sheffield, Sheffield, U.K.,He is an Assistant Professor of Computer Science with the University of York, York, U.K. His interests lie in theorem proving, formal semantics, cyber-physical systems, hybrid systems, process algebra, denotational semantics, algebraic methods, and functional programming.(Based on document published on 8 August 2023). Author's Published Works