Get in Touch

With Ryan KIRWAN

Name and email
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Associate Professor

Ryan KIRWAN

Associate Professor
Programme Leader, Bachelor of Science in Applied Computing
Programme Leader, Bachelor of Science with Honours in Applied Computing
PhD (Computing Science), University of Glasgow, United Kingdom
Cluster:
Infocomm Technology
Email

SIT Appointments

  • Programme Leader, Bachelor of Science with Honours in Applied Computing
    – Present
  • Associate Professor
    – Present
  • Programme Leader, Bachelor of Science in Applied Computing
    – Present
  • Assistant Professor
    –
  • Lecturer
    –

Education

  • PhD (Computing Science)
    University of Glasgow , United Kingdom
  • MEng (Electronic & Software Engineering)
    University of Glasgow , United Kingdom

Achievements

  • Awarded support by the Engineering and Physical Sciences Research Council (EPSRC) (UK): Full funding & sponsorship for PhD 2009-2013 (Competitive Grant)
    –
  • Awarded Full EPSRC funding for straight-through MEng: 2003-2009 (GPA-dependent Grant)
    –
  • Teaching Induction Programme (SIT Certification)
  • Communicative Chinese Basic Level 2: Confucius Institute (Language Qualification)
  • Awarded Postgraduate Certification of Academic Practice (UK Lecturing Qualification)
  • Communicative Chinese Basic Level 1: Confucius Institute (Language Qualification)
  • Teaching Foundations Programme (SIT Certification)
  • Communicative Chinese Basic Level 3: Confucius Institute (Language Qualification)
chevron--up

Research Interests

  • Model Checking Learning Agent Systems using Promela with Embedded C code and Abstraction
chevron--up

Journal Papers

  • Kirwan, Ryan, Miller, Alice, Porr, Bernd. Formal Aspects of Computing, vol. 28, no. 6, pp. 1027–1056, 2016. http://link.springer.com/article/10.1007/s00165-016-0382-2

  • R. F. Kirwan, “Applying model checking to agent-based learning systems,” Ph.D. thesis, University of Glasgow, UK, February 2014.

  • R. Kirwan, A. Miller, B. Porr, and P. Di Prodi, “Formal modeling of robot behavior with learning,” Neural Computation, vol. 25, no. 11, pp. 2976–3019, 2013.

Conferences

  • A. Miller, R. Kirwan, B. Porr, and P. Di Prodi, “Model Checking for Improved Adaptive Behaviour,” in Proceedings of the IET conference on Control and Automation, June 2013.

  • R. Kirwan, A. Miller, “Formal proof of Abstraction for Agent-Based Learning systems,” in Proceedings of ARW’13, University of Dundee, UK, April 2013.

  • R. Kirwan, A. Miller, “Progress on Model Checking Robot Behaviour,” in Proceedings of ARW'12, University of Manchester, UK, April 2012.

  • R. Kirwan, A. Miller, “Modelling Robot Behaviour in SPIN,” in Proceedings of ARW’11, University of Glasgow, UK, April 2011.

  • R. Kirwan, A. Miller, “Model Checking Multi-Agent Systems,” in Proceedings of ARW’10, University of Westminster, UK, March 2010.

chevron--up