Related Research Articles
Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.
Gordon David Plotkin, is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.
Robert William "Bob" Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh.
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.
Stephen H. Muggleton FBCS, FIET, FAAAI, FECCAI, FSB, FREng is Professor of Machine Learning and Head of the Computational Bioinformatics Laboratory at Imperial College London.
Dame Frances Clare Kirwan, is a British mathematician, currently Savilian Professor of Geometry at the University of Oxford. Her fields of specialisation are algebraic and symplectic geometry.
Peter William O'Hearn, formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.
Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom.
Dame Muffy Calder is a Canadian-born British computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow. From 2012 to 2015 she was Chief Scientific Advisor to the Scottish Government.
David Malcolm Potts is a professor of Analytical Soil Mechanics at Imperial College London and the head of the Geotechnics Section at Imperial College. He has been a member of the academic staff at Imperial College since 1979, responsible for teaching the use of analytical methods in geomechanics and the design of slopes and earth retaining structures, both at undergraduate and postgraduate levels.
Alison Mary Etheridge is Professor of Probability and former Head of the Department of Statistics, University of Oxford. Etheridge is a fellow of Magdalen College, Oxford.
James Benjamin Saxe is an American computer scientist who has worked for many years at the DEC Systems Research Center and its successors, the Compaq Systems Research Center and the Systems Research Center of HP Labs.
Ruth Misener is a professor at the Department of Computing, Imperial College London. Her research concentrates on the development of software and optimisation algorithms for energy efficient engineering and biomedical systems.
Claire Sandrine Jacqueline Adjiman is a professor of Chemical Engineering at the Department of Chemical Engineering at Imperial College London and a Fellow of the Royal Academy of Engineering.
The Department of Computing (DoC) is the computer science department at Imperial College London. The department has around 50 academic staff and 1000 students, with around 600 studying undergraduate courses, 200 PhD students, and 200 MSc students. The department is predominantly based in the Huxley Building, 180 Queen's Gate, which it shares with the Maths department, however also has space in the William Penney Laboratory and in the Aeronautics and Chemical Engineering Extension. The department ranks 7th in the Times Higher Education 2020 subject world rankings.
Sofia Charlotta Olhede is a British-Swedish mathematical statistician known for her research on wavelets, graphons, and high-dimensional statistics and for her columns on algorithmic bias. She is a professor of statistical science at the EPFL.
Mooly (Shmuel) Sagiv is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts.
Elham Kashefi is a Professor of Computer Science and Personal Chair in quantum computing at the School of Informatics at the University of Edinburgh, and a Centre national de la recherche scientifique (CNRS) researcher at the Sorbonne University. Her work has included contributions to quantum cryptography, verification of quantum computing, and cloud quantum computing.
Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.
Mehrnoosh Sadrzadeh is an Iranian British academic who is a professor at University College London. She was awarded a senior research fellowship at the Royal Academy of Engineering in 2022.
References
- 1 2 3 'GARDNER, Prof. Philippa Anne', Who's Who 2017 , A & C Black, an imprint of Bloomsbury Publishing plc, 2017; online edn, Oxford University Press, 2016; online edn, Nov 2016 accessed 29 July 2017
- ↑ "New Fellows 2020". Royal Academy of Engineering. 21 September 2020. Retrieved 22 September 2020.
- ↑ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson . Cambridge/MA: MIT Press. ISBN 0-262-12156-5.
- 1 2 3 4 "Philippa Gardner: Biography". Imperial College London. Retrieved 26 March 2024.
- ↑ "Philippa Gardner: Publications". Imperial College London. Archived from the original on 19 December 2015. Retrieved 13 October 2015.
- ↑ Philippa Gardner at the Mathematics Genealogy Project
- ↑ "Research Awards". Herald Scotland. Retrieved 13 October 2015.
- ↑ "Philippa Gardner - PLDI 2023". PLDI 2023. Retrieved 11 May 2023.
- ↑ "Philippa Gardner". The Royal Society. Retrieved 13 October 2015.
- ↑ "Philippa Gardner: Awards and Fellowships". Imperial College London. Retrieved 13 October 2015.
- ↑ "Educational excellence recognised in 2019 President's Awards". Imperial College. 2019.
- ↑ "Gillian" . Retrieved 11 May 2023.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
