Research output per year
Research output per year
Aberystwyth University
Llandinam Building
Penglais
Aberystwyth
United Kingdom of Great Britain and Northern Ireland
Research activity per year
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.
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (Non-Journal item)
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Snooke, N. (PI)
01 Oct 2011 → 30 Sept 2014
Project: Externally funded research