a person in the record
Jim Woodcock
British computer scientistborn 1956
Supervised 5 doctoral students at University of York between 2010 and 2023; Wikidata names Ana Cavalcanti as doctoral advisor and lists 5 doctoral students. Linked to Wikidata, ORCID, and 8 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students5
- 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
Gerard EKEMBE NGONDI“Denotational Semantics of Mobility in Unifying Theories of Programming (UTP)”
2016 · University of York · doctoral - cited by a thesis record
Victor Bandur“Unifying Theories of Logics with Undefinedness”
2014 · University of York · doctoral - cited by a thesis record
Shu Cheng“Formally modelling and verifying the FreeRTOS real-time operating system”
2014 · University of York · doctoral - cited by a thesis record2010 · University of York · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata5
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1961
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataAna Cavalcanti
Below them, within 3 steps, the record reaches 11 people: 5 cited by thesis records, 6 stated by Wikidata.
Education and career9
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1984 to 1985worked
- 1985 to 2001worked
- 2001 to 2004worked
- from 2004worked
- 2012 to 2016worked
- undatedstudied
- undatedworked
- undatedworked
- undatedworked