Allbwn Ymchwil fesul blwyddyn
Allbwn Ymchwil fesul blwyddyn
Aberystwyth University
Llandinam Building
Penglais
Aberystwyth
Teyrnas Unedig Prydain Fawr a Gogledd Iwerddon
Allbwn ymchwil fesul blwyddyn
My research interests are broadly in the area of Artificial Intelligence, particularly with respect to model based reasoning, temporal logic and software analysis. Further details are contained on my personal pages together with my publications and teaching duties. I enjoy writing software and I wrote and maintain the Marking Scheme and Feedback tool (https://users.aber.ac.uk/nns/msg/mfa.html) When not at work I kite surf, mountain bike and build and fly model aircraft and FPV drones.
Yn 2015, cytunodd gwladwriaethau sy’n aelodau'r Cenhedloedd Unedig ar 17 o Nodau Datblygu Cynaliadwy (NDC) byd-eang i ddod â thlodi i ben, diogelu’r blaned a sicrhau ffyniant i bawb. Mae gwaith y person hwn yn cyfrannu at y NDC canlynol:
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Cyfraniad at gynhadledd › Papur › adolygiad gan gymheiriaid
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Pennod
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Snooke, N. (Prif Ymchwilydd)
01 Hyd 2011 → 30 Medi 2014
Prosiect: Ymchwil a ariannwyd yn allanol