Alexandra Silva | |
---|---|
Born | Alexandra Martins da Silva February 1984 (age 38) |
Alma mater | University of Minho Radboud University Nijmegen (PhD) [1] |
Awards | Philip Leverhulme Prize (2016) Presburger Award (2017) Roger Needham Award (2018) Royal Society Wolfson Fellowship (2019) |
Scientific career | |
Fields | Computer science Programming Languages Semantics Coalgebra Formal methods [2] |
Institutions | Cornell University |
Thesis | Kleene coalgebra (2010) |
Doctoral advisor | Jan Rutten and Marcello Bonsangue |
Website | alexandrasilva |
Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. [3] [2] [4]
Silva won a Philip Leverhulme Prize in engineering in 2016. [5] She won the Presburger Award, awarded each year to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers", in 2017, and the Roger Needham Award in 2018. [6]
Fellowship of the Royal Society is an award granted by the judges of the Royal Society of London to individuals who have made a "substantial contribution to the improvement of natural knowledge, including mathematics, engineering science, and medical science".
Martín Abadi is an Argentine computer scientist, working at Google as of 2021. He earned his Doctor of Philosophy (PhD) in computer science from Stanford University in 1987 as a student of Zohar Manna.
Jane Elizabeth Hillston is British professor of Quantitative Modelling and Head of School in the School of Informatics, University of Edinburgh, Scotland.
Roger Michael Needham was a British computer scientist.
Mark James Handley is Professor of Networked Systems in the Department of Computer Science of University College London since 2003, where he leads the Networks Research Group.
Susan Elizabeth Black is a British computer scientist, academic and social entrepreneur. She is known for saving Bletchley Park, with her Saving Bletchley Park campaign. Since 2018, she has been Professor of Computer Science and Technology Evangelist at Durham University. She was previously based at the University of Westminster and University College London.
Emily Howard is a British composer whose work is best known for its inventive connections with mathematical shapes and processes.
Wenfei Fan is a Chinese-British computer scientist and professor of web data management at the University of Edinburgh. His research investigates database theory and database systems.
Katherine Elizabeth Jones is a British biodiversity scientist, with a special interest in bats. She is Professor of Ecology and Biodiversity, and Director of the Biodiversity Modelling Research Group, at University College London. She is a past chair of the Bat Conservation Trust.
Maja Pantić is a Professor of Affective and Behavioural Computing at Imperial College London and an AI Scientific Research Lead in Facebook London. She was previously Professor of Affective and Behavioural Computing University of Twente and Research Director of the Samsung AI lab in Cambridge, UK. She is an expert in machine understanding of human behaviour including vision-based detection and tracking of human behavioural cues like facial expressions and body gestures, and multimodal analysis of human behaviours like laughter, social signals and affective states.
Hiranya V. Peiris is a British astrophysicist at University College London and Stockholm University, best known for her work on the cosmic microwave background radiation. She was one of 27 scientists who received the Breakthrough Prize in Fundamental Physics in 2018 for their "detailed maps of the early universe."
Joanna Dunkley is a British astrophysicist and Professor of Physics at Princeton University. She works on the origin of the Universe and the Cosmic microwave background (CMB) using the Atacama Cosmology Telescope, the Simons Observatory and the Large Synoptic Survey Telescope (LSST).
Sarah Livia Zerbes is a German algebraic number theorist at ETH Zurich. Her research interests include L-functions, modular forms, p-adic Hodge theory, and Iwasawa theory, and her work has led to new insights towards the Birch and Swinnerton-Dyer conjecture, which predicts the number of rational points on an elliptic curve by the behavior of an associated L-function.
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 Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a £5000 prize is presented to an individual for making "a distinguished research contribution in computer science by a UK-based researcher within ten years of their PhD." The award is funded by Microsoft Research. The winner of the prize has an opportunity to give a public lecture.
Alexandra Shepard is Professor of Gender History at the University of Glasgow. In 2018 Shepard was elected a Fellow of the British Academy in recognition for her work in gender history and the social history of early modern Britain. In 2019 she was elected a Fellow of the Royal Society of Edinburgh.
Renee Elizabeth (Liz) Sockett is a professor and microbiologist in the School of Life Sciences at the University of Nottingham. She is a world-leading expert on Bdellovibrio bacteriovorus, a species of predatory bacteria.
Alexandra Boltasseva is Ron And Dotty Garvin Tonjes Professor of electrical and computer engineering at Purdue University, and editor-in-chief for The Optical Society's Optical Materials Express journal. Her research focuses on plasmonic metamaterials, manmade composites of metals that use surface plasmons to achieve optical properties not seen in nature.
Kristin Alexandra Andrews is Professor in the Department of Philosophy at York University and she holds the York Research Chair in Animal Minds.
The Suffrage Science award is a prize for women in science, engineering and computing founded in 2011, on the 100th anniversary of International Women's Day by the MRC London Institute of Medical Sciences (LMS). There are three categories of award: