About: Alexandra Silva

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Alexandra Silva Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAlexandra_Silva

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Homo sapiens Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	Alexandra Silva (en) ألكسندرا سيلفا (ar) Alexandra Silva (de) Alexandra Silva (fr) Alexandra Silva (pt)
rdfs:comment	ألكسندرا سيلفا (بالبرتغالية: Alexandra Silva‏) هي عَالِمَة حاسوب برتغالية، ولدت في 1984. (ar) Alexandra Martins da Silva (* 11. Februar 1984) ist eine portugiesische Informatikerin und Mathematikerin. Sie erhielt 2017 den Presburger Award für ihre Arbeiten über Koalgebren als Werkzeuge zur Formalisierung von Koinduktionen in der funktionalen Programmierung und von Operationen auf verschiedenen Varianten endlicher Automaten, insbesondere probabilistischer Automaten. (de) 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. (en) Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr) Alexandra Silva (nascida em 1984) é uma cientista da computação portuguesa e professora de Álgebra, Semântica e Computação na University College London. (pt)
foaf:name	Alexandra Silva (en)
name	Alexandra Silva (en)
birth place	Chaves, Portugal
birth place	Chaves, Portugal
dcterms:subject	Living people Portuguese computer scientists Portuguese women computer scientists University of Minho alumni 1984 births Women logicians
Wikipage page ID	58336813 (xsd:integer)
Wikipage revision ID	1116804646 (xsd:integer)
Link from a Wikipage to another Wikipage	Roger Needham Award Royal Society Wolfson Fellowship University College London University of Minho Presburger Award Programming Languages Living people Cornell University Portuguese computer scientists Portuguese women computer scientists University of Minho alumni Computer science Computer scientist 1984 births Formal methods Women logicians Chaves, Portugal Coalgebra Radboud University Nijmegen Semantics (computer science) Philip Leverhulme Prize
Link from a Wikipage to an external page	http://hdl.handle.net/2066/83205
sameAs	Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva Alexandra Silva
thesis title	Kleene coalgebra (en)
thesis url	http://hdl.handle.net/2066/83205
thesis year	2010 (xsd:integer)
work institutions	Cornell University
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:URL dbt:Birth_year_and_age dbt:Infobox_scientist dbt:Portugal-scientist-stub dbt:Compu-scientist-stub
alma mater	University of Minho Radboud University Nijmegen
birth name	Alexandra Martins da Silva (en)
field	Programming Languages Computer science Formal methods Coalgebra Semantics (computer science)
has abstract	ألكسندرا سيلفا (بالبرتغالية: Alexandra Silva‏) هي عَالِمَة حاسوب برتغالية، ولدت في 1984. (ar) Alexandra Martins da Silva (* 11. Februar 1984) ist eine portugiesische Informatikerin und Mathematikerin. Sie erhielt 2017 den Presburger Award für ihre Arbeiten über Koalgebren als Werkzeuge zur Formalisierung von Koinduktionen in der funktionalen Programmierung und von Operationen auf verschiedenen Varianten endlicher Automaten, insbesondere probabilistischer Automaten. (de) 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. (en) Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr) Alexandra Silva (nascida em 1984) é uma cientista da computação portuguesa e professora de Álgebra, Semântica e Computação na University College London. (pt)
doctoral advisor	Jan Rutten and Marcello Bonsangue (en)
prizes	Roger Needham Award Philip Leverhulme Prize Presburger Award (en) Royal Society Wolfson Fellowship (en)

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software