wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Abdul-Mannan Khan
abdul-mannan-khan
Imperial College London, London Glasgow/Bristol/London, the UK
Luke Woodbury
lwoodbury
Creative technologist combining programming, electronics and digital media for art installations and accessible, multi-sensory experiences.
dotLib ltd. Bath, UK