Alexandra Silva

URI: https://gptkb.org/entity/Alexandra_Silva

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Lisbon
gptkbp:awardReceived	gptkb:Philip_Leverhulme_Prize gptkb:Presburger_Award
gptkbp:birthYear	1984
gptkbp:doctoralAdvisor	gptkb:Jan_Rutten Luís S. Barbosa
gptkbp:employer	gptkb:Cornell_University gptkb:Radboud_University_Nijmegen gptkb:University_College_London
gptkbp:field	gptkb:theoretical_computer_science gptkb:category_theory automata theory formal methods
gptkbp:gender	gptkb:female
gptkbp:memberOf	gptkb:Royal_Society
gptkbp:nationality	Portuguese
gptkbp:occupation	gptkb:computer_scientist
gptkbp:thesisTitle	Kleene coalgebra
gptkbp:thesisYear	2010
gptkbp:bfsParent	gptkb:Dexter_Kozen
gptkbp:bfsLayer	8
https://www.w3.org/2000/01/rdf-schema#label	Alexandra Silva