Staff Profile

Jason Steggles studied for the degree of PhD in theoretical computer science at the Department of Computer Science, Univerversity of Wales, Swansea. He is currently a senior lecturer in the School of Computing Science at the University of Newcastle. He is a member of the Modelling and Reasoning research group (AMBER).

Jason's research interests centre around the development and application of formal methods to modelling and reasoning about computing systems. This has involved developing techniques and tools based on higher-order algebraic methods to verify stream processing systems (e.g. systolic and dataflow devices, real-time systems, and families of computing devices). In recent work Jason has also been investigating applying formal techniques to biological networks and has developed a range of models and tools which can be used to model and analyse genetic regulatory networks. This work has focused on developing techniques and tools for Boolean networks, a qualitative modelling approach used for analysing and engineering biological systems. A key focus of this work is developing compositional/decompositional techniques to improve the practical application of Boolean networks.

My research interests centre on the development and application of formal techniques and tools for modelling and understanding computer systems. This work has involved investigating the development of formal techniques to model and analyse biological systems and in particular, I have worked on developing techniques and tools for Boolean networks, a qualitative modelling approach used to analyse biological systems. I have also worked extensively with algebraic techniques and recent work has focused on using rewriting logic as a semantic framework for analysing concurrent, mobile systems.

Associated research related activities:

·        MeCBIC programme committee

·        CONCUR  Workshop co-chair

·        Support for Petri Nets and ACSD 

I teach the following modules:

• CSC1031: Foundations for Computer Science
• CSC2032: Algorithm Design and Analysis
• CSC8499: MSc in Advanced Computer Science Individual Project

The following is a list of my teaching related administrative duties:

• Chair of the Taught Postgraduate  Board of Examiners for a range of MSc programmes
  
• Chair of the Taught Postgraduate   Personal Extenuating Circumstance (PEC) Committee
• Degree Programme Director for MSc in Advanced Computer Science
• Assessment Irregularity Chair for a range of MSc programmes
  
• Admissions Officer for MSc in Advanced Computer Science
• Taught Programmes Sub-committee Regulations Working Group

• Alkhudhayr H, Steggles J. A compositional framework for Boolean networks. BioSystems 2019, 186, 103960.
• Alkhudhayr H, Steggles J. A Formal Framework for Composing Qualitative Models of Biological Systems. In: TPNC: Theory and Practice of Natural Computing. 2017, Prague: LNCS, Springer.
• Alhumaidan A, Steggles J. Modelling and Analysing Qualitative Biological Models using Rewriting Logic. Fundamenta Informaticae 2017, 153(1-2), 1-28.
• Ciobanu G, Koutny M, Steggles J. Strategy based semantics for mobility with time and access permissions. Formal Aspects of Computing 2015, 27(3), 525-549.
• Jones CB, Lovert MJ, Steggles LJ. Revising basic theorem proving algorithms to cope with the logic of partial functions. Science of Computer Programming 2014, 94(2), 238-252.
• Ciobanu G, Koutny M, Steggles LJ. A Timed Mobility Semantics Based on Rewriting Strategies. In: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012. 2012, Thessaloniki, Greece: Springer.
• Banks R, Steggles LJ. An abstraction theory for qualitative models of biological systems. Theoretical Computer Science 2012, 431, 207-218.
• Steggles J. Abstracting Asynchronous Multi-Valued Networks. Scientific Annals of Computer Science 2011, 21(2), 249-282.
• Banks R, Steggles LJ. An Abstraction Theory for Qualitative Models of Biological Systems. Electronic Proceedings in Theoretical Computer Science 2010, 40, 23-38.
• Banks R, Khomenko V, Steggles LJ. Modelling Genetic Regulatory Networks. In: Koch, I., Reisig, W., Schreiber, R, ed. Modelling in Systems Biology: the Petri Net Approach. London: Springer-Verlag, 2010, pp.73-100.
• Banks R, Khomenko V, Steggles LJ. A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. In: Electronic Notes in Theoretical Computer Science: Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC). 2009, Iasi, Romania: Elsevier B.V.
• Banks R, Steggles LJ. A High-Level Petri Net Framework for Genetic Regulatory Networks. Journal of Integrative Bioinformatics 2007, 4(3), 60.
• Steggles LJ, Banks R, Shaw O, Wipat A. Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach. Bioinformatics 2007, 23(3), 336-343.
• Shaw O, Steggles J, Wipat A. Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. In: Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005). 2006, Newcastle upon Tyne: Electronic Notes in Theoretical Computer Science: Elsevier BV.
• Steggles LJ, Banks R, Wipat A. Modelling and analysing genetic networks: From Boolean networks to Petri nets. In: Computational Methods in Systems Biology: International Conference (CMSB 2006). 2006, Trento, Italy: Springer-Verlag.
• Steggles LJ. Verifying an infinite systolic algorithm using third-order equational methods. Journal of Logic and Algebraic Programming 2006, 69(1-2), 75-92.
• Shaw O, Koelmans A, Steggles J, Wipat A. Applying Petri Nets to Systems Biology using XMLTechnologies. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets. Satellite event of ATPN : 25th International Conference on Application and Theory of Petri Nets. 2004, Bologna, Italy.
• Shaw OJ, Harwood C, Steggles LJ, Wipat A. SARGE: A tool for creation of putative genetic networks. Bioinformatics 2004, 20(18), 3638-3640.
• Meinke K, Steggles LJ. Correctness of dataflow and systolic algorithms using algebras of streams. Acta Informatica 2001, 38(1), 45-88.
• Steggles LJ. Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. In: Application and Theory of Petri Nets 2001: 22nd International Conference (ICATPN 2001). 2001, Newcastle upon Tyne, UK: Springer-Verlag.
• Steggles LJ, Kosiuczenko P. Formal model for SDL specifications based on Timed Rewriting Logic. Automated Software Engineering 2000, 7(1), 61-90.
• Steggles LJ. Specifying and verifying real-time systems using second-order algebraic methods: A case study of the railroad crossing controller. Journal of Universal Computer Science 2000, 6(4), 460-473.
• Steggles LJ, Kosiuczenko P. A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol. In: International Workshop on Rewriting Logic and its Applications. 1998, Abbaye des Prémontrés at Pont-à-Mousson, France: Elsevier Science.
• Steggles LJ. Parameterised Higher-Order Algebraic Specifications. In: 6th International Joint Conference on Algebraic and Logic Programming (ALP '97 - HOA '97). 1997, Southampton, UK: Springer-Verlag.
• Steggles LJ. Higher-Order Algebra with Transfinite Types. In: Higher-Order Algebra, Logic, and Term Rewriting: 2nd International Workshop (HOA '95). 1996, Paderborn, Germany: Springer-Verlag.
• Meinke K, Steggles LJ. Specification and Verification in Higher Order Algebra: A Case Study of Convolution. In: Higher-Order Algebra, Logic, and Term Rewriting: 1st International Workshop (HOA '93). 1994, Amsterdam, The Netherlands: Springer-Verlag.