David Mould

David Mould
Name	David Mould
Occupation	Academic, Author, Researcher

David Mould

David Mould is a scholar and author known for contributions to computer science, artificial intelligence, and software engineering. He has published on programming languages, verification, and human–computer interaction, collaborating with universities and research institutes across Europe and North America. His work intersects with conferences and journals in theoretical computing, formal methods, and applied software development.

Early life and education

Mould was born in the United Kingdom and received early schooling before attending university, where he studied computer science and mathematics. He completed undergraduate and postgraduate degrees at institutions associated with computing research, engaging with departments connected to the University of Cambridge, University of Oxford, Imperial College London, University of Edinburgh, and King's College London. During his doctoral studies he worked with supervisors and research groups linked to the British Computer Society, the ACM, the IEEE, the Royal Society, and national research councils.

Professional career

Mould held academic appointments and research posts at universities and laboratories, participating in collaborations with groups from the University of Manchester, University of Glasgow, University of Warwick, University of Bristol, and University College London. He contributed to projects funded by agencies such as the EPSRC, the EU Horizon 2020 programme, and government research initiatives. Mould served on program committees for conferences including ICSE, POPL, PLDI, FSE, and CAV, and reviewed for journals like ACM Transactions on Programming Languages and Systems, IEEE Transactions on Software Engineering, and Journal of Functional Programming.

Major works and publications

Mould authored and coauthored books, monographs, and articles addressing programming semantics, type systems, and interface design. His publications appeared in proceedings of SIGPLAN events and in journals affiliated with the Association for Computing Machinery and the Institute of Electrical and Electronics Engineers. He contributed chapters to edited volumes alongside editors from institutions such as the Massachusetts Institute of Technology, Stanford University, Princeton University, Harvard University, and California Institute of Technology. His bibliography includes peer-reviewed papers presented at ESOP, TAPSOFT, SOSP, ASPLOS, and work cited by researchers at the Max Planck Institute for Software Systems and the Fraunhofer Society.

Research interests and contributions

Mould's research spans programming language design, formal verification, runtime systems, and user interface toolkits. He investigated static analysis techniques referenced by teams at the Carnegie Mellon University and the University of Toronto, and influenced developments in model checking linked to NASA projects and European Space Agency research. His work on type theory and concurrency informed efforts at the Alan Turing Institute and collaborations with groups at the Delft University of Technology and the ETH Zurich. Mould also explored pedagogical approaches to computing, contributing to curriculum discussions involving the Open University, the Royal Academy of Engineering, and national examinations boards.

Awards and recognition

Mould received recognition from professional societies and academic institutions, including nominations and awards tied to the ACM and the IEEE Computer Society. He was invited to give keynote and plenary talks at symposia hosted by the British Computer Society and international workshops sponsored by the European Research Council and the Royal Society of Edinburgh. His papers earned best-paper nominations at venues such as ICFP and ECOOP, and his teaching received commendations from university teaching committees and national pedagogical awards.

Personal life and legacy

Outside academia, Mould engaged with community outreach, contributing to public lectures and workshops connected to museums and science festivals like the Science Museum, London and the British Science Festival. He mentored doctoral students who later joined faculties at institutions such as the University of Cambridge, MIT, University of California, Berkeley, University of Illinois Urbana–Champaign, and international research centers. His legacy persists through citations in work at the Wellcome Trust funded projects, open-source software initiatives on platforms similar to those used by the Linux Foundation and contributions to standards discussed at meetings of the W3C and other consortia.

Category:British computer scientists Category:Living people