缅北禁地

Skip to main content
School of Computing
Search for something
Search...

Staff Profile

Dr Stephen Riddle

Senior Lecturer

  • Telephone: +44 191 208 5156
Background

Introduction

I am a Senior Lecturer in the School of Computing, and a Senior Fellow of the Higher Education Academy (SFHEA). I have recently completed a term as Deputy Head of School (2023 - 2025) and was previously Director of Education (2020 – 2022) and Director of Postgraduate Studies (2018-2020).


As a member of the EPiC (Educational Practice in Computing) research group I regularly participate in working groups at ITiCSE relating to team project assessment and instructor perspectives, and currently co-lead a CPHC special grant CoCoNet building a network for best practice in individual dissertation projects.


Past research projects include FP7 Project COMPASS (Comprehensive Modelling for Advanced Systems of Systems). I obtained my BSc in Computer Software Technology at the University of Bath in 1991, and completed a PhD at Bath in 1997 on the use of partial specifications and refinement theory to aid the process of explaining complex systems.

Teaching

I have over 25 years experience in teaching a range of modules including java programming, software engineering, fundamentals of computing, high integrity development, team project, research methods and individual dissertation modules.


In 2024-25 I was teaching stage 3 BSc module in Fault Tolerant and Cyber Physical Systems, and am part of the team delivering the stage 3 dissertation module.

Research

Co-lead, CoCoNet Collaborative Network for Computing Projects and Dissertations 2025

Member of ITiCSE working groups 2024 (Experiences of Instructors Who Teach Capstone Courses in the Computing and Information Technology Fields), 2025 (Investigating Challenges in Assessing Team-Based Capstone Projects)


Organising committee member for the 10th Overture Workshop, held at FM'2012, Paris, August 2012

Co-chair of the Ada Connection, 16th International Conference on Reliable Software Technologies (Ada-Europe 2011) 

Member of program committee for Fourth International Workshop on Requirements for High Assurance Systems (RHAS 05, Paris) August 2005

Publications

  • Articles

    • Larsen PG, Fitzgerald JS, Riddle S. . Formal Aspects of Computing 2009, 21(3), 245-257.
    • Anderson T, Feng M, Riddle S, Romanovsky A. . Safety Systems 2003, 13(1), 8-10.
    • Ainsworth M, Riddle S, Wallis PJL. . Software Engineering Journal 1996, 11(1), 58-66.

  • Book Chapters

    • Ingram C, Riddle S. . In: Cleland-Huang, J., Gotel, O., Zisman, A, ed. Software and Systems Traceability. London: Springer, 2012, pp.23-42.
    • Riddle S, Dawkins S. . In: Redmill, R and Anderson, T, ed. Lessons in System Safety: Proceedings of the 8th Safety-Critical Systems Symposium, Southampton, UK. London: Springer, 2000, pp.284-300.

  • Conference Proceedings (inc. Abstracts)

    • Prickett T, McChesney I, Norling E, Hayes A, Chrysikos A, Riddle S, Davenport JH, Irons A, Crick T. . In: IEEE Global Engineering Education Conference (EDUCON 2025). 2025, London: IEEE.
    • Hooshangi S, Shakil A, Dasgupta S, Davis KCC, Farghally M, Fitzpatrick K, Gutica M, Hardt R, Riddle S, Seyam M. . In: ITiCSE 2024: 2024 Working Group Reports on Innovation and Technology in Computer Science Education. 2025, Milan, Italy: ACM.
    • Riddle S, Zarb M. . In: UKICER 2025: UK and Ireland Computing Education Research Conference. 2025, Edinburgh: ACM.
    • Almutairi M, Riddle S. . In: International Conference on Information Management and Processing (ICIMP 2018). 2018, London, UK: IEEE.
    • Almutairi M, Riddle S. . In: ICIME 2018 Proceedings of the 2018 10th International Conference on Information Management and Engineering. 2018, Salford, UK: Association for Computing Machinery.
    • Almutairi M, Riddle S. . In: 2018 21st Saudi Computer Society National Computer Conference (NCC). 2018, Riyadh, Saudi Arabia: IEEE.
    • Almutairi M, Riddle S. . In: ACM International Conference Proceeding Series. 2018, Casablanca, Morocco: Association for Computing Machinery.
    • Almutairi M, Riddle S. . In: 2017 11th International Conference on Research Challenges in Information Science (RCIS). 2017, Brighton, UK: IEEE Computer Society.
    • Marshall L, Heels L, Riddle S. . In: HEA Transforming Assessment in Higher Education Symposium: Assessment literacy. 2017, HEA, York, UK: HEA.
    • Ingram C, Riddle S, Fitzgerald J, Al-Lawati AHJ, Alrbaiyan A. . In: Workshop on Engineering Dependable Systems of Systems (EDSoS). 2014, 缅北禁地, UK.
    • Khankaew S, Riddle S. . In: 2014 IEEE 4th International Workshop on Empirical Requirements Engineering (EmpiRE). 2014, Karlskrona, Sweden: IEEE.
    • Ingram C, Riddle S. . In: 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM). 2012, Zurich, Switzerland.
    • Payne RJ, Bryans JW, Fitzgerald JS, Riddle S. . In: 7th International Conference on Systems of Systems Engineering (SoSE). 2012, Genoa, Italy: IEEE.
    • Ingram C, Riddle S. . In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011). 2011, Honolulu, Hawaii, USA: ACM Press.
    • Ingram C, Riddle S. . In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011) at IEEE International Conference on Software Engineering (ICSE). 2011, Honolulu, Hawaii: ACM Press.
    • Riddle S, Keshlaf AAA. . In: Sixth International Conference on Internet Monitoring and Protection. 2011, St Maarten, The Netherlands Antilles.
    • Keshlaf AA, Riddle S. . In: Fifth International Conference on Internet Monitoring and Protection (ICIMP 2010). 2010, Barcelona, Spain: IEEE Computer Society.
    • Arkley P, Riddle S, Brookes T. . In: 14th IEEE International Requirements Engineering Conference (RE'06). 2006, Minneapolis/St Paul, Minnesota, USA: IEEE.
    • van der Meulen M, Riddle S, Strigini L, Jefferson N. . In: COTS-Based Software Systems: 4th International Conference (ICCBSS). 2005, Bilbao, Spain: Springer-Verlag.
    • Arkley P, Riddle S. . In: 13th IEEE International Conference on Requirements Engineering. 2005, Paris, France: IEEE Computer Society.
    • Anderson T, Feng M, Riddle S, Romanovsky A. . In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005). 2005, Sedona, Arizona: IEEE.
    • Jefferson N, Riddle S. . In: Third International Workshop on Composition Languages. 2003, Darmstadt, Germany.
    • Anderson T, Feng M, Riddle S, Romanovsky A. . In: 2nd International Conference on COTS-Based Software Systems. 2003, Ottawa, Canada: Springer.
    • Mason PAJ, Saeed A, Riddle S. . In: Computer Safety, Reliability, and Security: 22nd International Conference (SAFECOMP). 2003, Edinburgh, UK: Springer.
    • Mason P, Saeed A, Arkely P, Riddle S. . In: 10th International Conference and Workshop on the Engineering of Computer-Based Systems. 2003, Huntsville, Alabama, USA: IEEE.
    • Arkley P, Mason P, Riddle S. . In: 1st International Workshop on Traceability in Emerging Forms of Software Engineering. 2002, Edinburgh, UK.
    • Popov P, Strigini L, Riddle S, Romanovsky A. . In: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE). 2001, Toronto, Canada: IEEE Computer Society Press.
    • Popov P, Riddle S, Romanovsky A, Strigini L. . In: 27th Euromicro Conference. 2001, Warsaw, Poland: IEEE Computer Society Press.
    • Dawkins S, Riddle S. . In: 8th Safety-Critical Systems Symposium. 2000, Southampton, UK: Springer, London.
    • Riddle S, Saeed A. . In: 9th Annual International Symposium of the International Council on Systems Engineering (INCOSE). 1999, Brighton, UK.
    • Pearson S, Riddle S, Saeed A. . In: 8th INCOSE International Conference on Systems Engineering. 1998, Vancouver, Canada.
    • Riddle S, Wallis PJL. . In: 1st Irish Workshop on Formal Methods (IWFM). 1997, Dublin, Ireland: Springer-Verlag.
    • Saeed A, Cepin M, de Lemos R, et al. . In: 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1997, University of York, UK: Springer-Verlag, London.

  • Reports

    • Gamble C, Couto LD. . 缅北禁地, 2019. School of Computing Technical Report Series 1530.
    • Bryans J, Payne R, Holt J, Perry S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1371.
    • Ingram C, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1321.
    • Plat N, Ballegaard Nielsen C, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1345.
    • Payne R, Bryans J, Fitzgerald J, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1335.
    • Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
    • Ingram C, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, The University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1257.
    • Gamble C, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1248.
    • Gamble C, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1249.
    • Gamble C, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1232.
    • Arkley P, Riddle S, Brookes T. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 945.
    • Larsen PG, Fitzgerald JS, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 992.
    • Arkley P, Riddle S. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 906.
    • van der Meulen M, Riddle S, Strigini L, Jefferson N. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 857.
    • Anderson T, Feng M, Riddle S, Romanovsky A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 821.
    • Anderson T, Feng M, Riddle S, Romanovsky A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 798.
    • Anderson T, Feng M, Riddle S, Romanovsky A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2002. School of Computing Science Technical Report Series 781.
    • Popov P, Riddle S, Romanovsky A, Strigini L. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 730.
    • Cepin M, de Lemos R, Mavko B, Riddle S, Saeed A. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 598.