Related Research Articles
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.
Samson Abramsky is a British computer scientist who is a 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 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 is Professor of Machine Learning and Head of the Computational Bioinformatics Laboratory at Imperial College London.
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.
Robert Lee Constable is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of Computing and Information Science at Cornell University. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Prior to Nuprl, he worked on the PL/CV formal system and verifier. Alonzo Church supervised Constable's junior thesis while he was studying in Princeton. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students.
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.
Bashir Mohammed Ali Al-Hashimi is a computer engineering researcher, academic and higher education leader. He is Vice President and ARM Professor of Computer Engineering at King's College London in the United Kingdom. He was the co-founder and co-director of the ARM-ECS Research Centre, an industry-university collaboration partnership involving the University of Southampton and ARM. He is the chair of the Engineers 2030 working group, a national campaign overseen by the National Engineering Policy Centre and led by the UK Royal Academy of Engineering. The campaign centres around accelerating change and the future workforce of engineering.
Ji-Seon Kim is a South Korean physicist. She is a Professor in the Department of Physics and Centre for Plastic Electronics at Imperial College London.
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.
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.
Nora Henriette de Leeuw is the inaugural executive dean of the Faculty of Engineering and Physical Sciences at University of Leeds. Her research field is computational chemistry and investigates biomaterials, sustainable energy, and carbon capture and storage.
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. She is known as one of the inventors of blind quantum computing. 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 (online ed.). A & C Black. 1 December 2023. Retrieved 25 October 2024.(Subscription or UK public library membership required.)
- ↑ "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 | |
