Richard Freeman Paige

Dissertation: Formal Method Integration via Heterogeneous Notations

Mathematics Subject Classification: 68—Computer science

Advisor 1

Name	Institution	Year	Students
Mohd Syazwan Abdullah	University of York	2006	0
Asmiza Abdul Sani	University of York	2013	0
Faisal Haji M. Alhwikem	University of York	2019	0
Fatima Alkandari	University of York	2014	0
Frank Royston Burton	Not recorded	—	0
Xiaocheng Ge	University of York	2009	0
Lishan Simone Harbird	University of York	2012	0
Adolfo Sanchez-Barbudo Herrera	Not recorded	—	0
Christopher Kenneth Holmes	University of York	2007	0
Dimitrios Kolovos	University of York	2009	3
Sina Madani	University of York	2020	0
Angus Marshall	University of York	2022	0
Nikolaos Drivalos Matragkas	University of York	2011	2
Rafidah Pakir Mohamad	University of York	2015	0
Dina Salah El Din Nasr Mostafa	University of York	2013	0
Jan Tobias Mühlberg	University of York	2009	0
Nadhratunnaim Nasarudin	University of York	2023	0
Beatriz Angelica Sanchez Pina	University of York	2021	0
Aleksandr Radjenovic	University of York	2009	0
Raman Ramsin	University of York	2006	0
Jason Reich	University of York	2013	0
Louis Rose	University of York	2011	0
Malihe Tabatabaie	University of York	2012	0
Masoumeh Taromirad	University of York	2014	0
James Robert Williams	University of York	2014	0
Athanasios Zolotas	Not recorded	—	0

Genealogy