a person in the record
Ana Cavalcanti
Researcher
Supervised 8 doctoral students at University of York between 2012 and 2026; Wikidata lists 10 doctoral students. Linked to Wikidata, ORCID, and DBLP.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students8
- cited by a thesis record
Arjun Singh Badyal“Physics Engines for Verification of Robotic Systems”
2026 · University of York · doctoral - cited by a thesis record
Holly Rebecca Hendry“Human-Robot Interaction in the Design and Verification of Robotic Systems”
2025 · University of York · doctoral - cited by a thesis record
Ziggy Attala“Verification of RoboChart Models with Neural Network Components”
2023 · University of York · doctoral - cited by a thesis record
James Baxter“Ahead-of-Time Algebraic Compilation for Safety-Critical Java”
2018 · University of York · doctoral - cited by a thesis record
Matthew Luckcuck“Safety-Critical Java Level 2: Applications, Modelling, and Verification”
2016 · University of York · doctoral - cited by a thesis record
Pedro Fernando De Oliveira Salazar Ribeiro“Angelic Processes”
2014 · University of York · doctoral - cited by a thesis record
Chris Marriott“Checking Memory Safety of Level 1 Safety-Critical Java Programs using Static-Analysis without Annotations”
2014 · University of York · doctoral - cited by a thesis record
Alvaro Heiji Miyazawa“Formal verification of implementations of Stateflow charts”
2012 · University of York · doctoral
Students on Wikidata10
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1956
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below
Below them, within 3 steps, the record reaches 24 people: 8 cited by thesis records, 16 stated by Wikidata.
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedworked