معرفی
David Lightfoot is a Senior Lecturer in Computing at the School of Engineering, Computing and Mathematics, Oxford Brookes University. He specializes in programming-language design, formal methods, and formal derivation of programs. His research interests include programming languages, formal aspects of computer science, and software engineering. He has published in reputable venues such as Lecture Notes in Computer Science.
Education: BA in Computing Science and MSc in Computation.
Teaching includes modules on programming, software engineering, formal methods, and computer graphics. He has extensive experience in collaborative provision with institutions like the Informatics Academy in Singapore and has held roles such as liaison manager. Professional memberships include the British Standards Institute and ISO WG13 for Modula-2 standardization, and the BCS FACS group.
Past roles include consultancy for the UK Atomic Energy Authority and Reading University/Airinmar, alongside diverse industry experiences in programming, education, and software development since the 1970s. He contributes to research groups like the Applied Formal Methods Research Group and the Cloud Computing and Cybersecurity Group.
