Alexandra Silva

Last updated
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.org

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]

Awards and honours

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]

Related Research Articles

Fellow of the Royal Society Award granted by the judges of the Royal Society of London to individuals

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 Hillston

Jane Elizabeth Hillston is British professor of Quantitative Modelling and Head of School in the School of Informatics, University of Edinburgh, Scotland.

Roger Needham British computer scientist

Roger Michael Needham was a British computer scientist.

Mark Handley (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.

Sue Black (computer scientist) British computer scientist

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 British composer (born 1979)

Emily Howard is a British composer whose work is best known for its inventive connections with mathematical shapes and processes.

Wenfei Fan Chinese-British computer scientist

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ć Artificial intelligence and robotics researcher

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 Peiris British astrophysicist who studies the big bang

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."

Jo Dunkley British astrophysicist

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 American physicist and engineer

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 Andrews American philosopher, writer and academic

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:

  1. life sciences
  2. engineering and physical sciences
  3. mathematics and computing.

References

  1. Silva, Alexandra (2010). Kleene coalgebra (PDF). ru.nl (PhD thesis). 694079062. hdl:2066/83205. OCLC   694079062. Lock-green.svg
  2. 1 2 Alexandra Silva publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  3. Silva, Alexandra (2017). "Alexandra Silva CV" (PDF). alexandrasilva.org. Archived from the original (PDF) on 2017-10-03.
  4. "Alexandra Silva". www.cs.ucl.ac.uk. 2018-08-20.
  5. "Dr Alex Silva awarded prestigious Leverhulme Trust Award". Computer Science News. University College London. 28 October 2016. Retrieved 2019-09-04.
  6. Anon (2018). "Computer Science News: Alexandra Silva Receives BCS Roger Needham Award 2018" . Retrieved 2018-08-30.