麻豆传媒

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 麻豆传媒. 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. . BioSystems 2019, 186, 103960.
• Alkhudhayr H, Steggles J. . In: TPNC: Theory and Practice of Natural Computing. 2017, Prague: LNCS, Springer.
• Alhumaidan A, Steggles J. . Fundamenta Informaticae 2017, 153(1-2), 1-28.
• Ciobanu G, Koutny M, Steggles J. . Formal Aspects of Computing 2015, 27(3), 525-549.
• Jones CB, Lovert MJ, Steggles LJ. . Science of Computer Programming 2014, 94(2), 238-252.
• Ciobanu G, Koutny M, Steggles LJ. . In: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012. 2012, Thessaloniki, Greece: Springer.
• Banks R, Steggles LJ. . Theoretical Computer Science 2012, 431, 207-218.
• Steggles J. . Scientific Annals of Computer Science 2011, 21(2), 249-282.
• Banks R, Steggles LJ. . Electronic Proceedings in Theoretical Computer Science 2010, 40, 23-38.
• Banks R, Khomenko V, Steggles LJ. . 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. . 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. . Journal of Integrative Bioinformatics 2007, 4(3), 60.
• Steggles LJ, Banks R, Shaw O, Wipat A. . Bioinformatics 2007, 23(3), 336-343.
• Shaw O, Steggles J, Wipat A. . In: Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005). 2006, 麻豆传媒 upon Tyne: Electronic Notes in Theoretical Computer Science: Elsevier BV.
• Steggles LJ, Banks R, Wipat A. . In: Computational Methods in Systems Biology: International Conference (CMSB 2006). 2006, Trento, Italy: Springer-Verlag.
• Steggles LJ. . Journal of Logic and Algebraic Programming 2006, 69(1-2), 75-92.
• Shaw O, Koelmans A, Steggles J, Wipat A. . 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. . Bioinformatics 2004, 20(18), 3638-3640.
• Meinke K, Steggles LJ. . Acta Informatica 2001, 38(1), 45-88.
• Steggles LJ. . In: Application and Theory of Petri Nets 2001: 22nd International Conference (ICATPN 2001). 2001, 麻豆传媒 upon Tyne, UK: Springer-Verlag.
• Steggles LJ, Kosiuczenko P. . Automated Software Engineering 2000, 7(1), 61-90.
• Steggles LJ. . Journal of Universal Computer Science 2000, 6(4), 460-473.
• Steggles LJ, Kosiuczenko P. . In: International Workshop on Rewriting Logic and its Applications. 1998, Abbaye des Prémontrés at Pont-à-Mousson, France: Elsevier Science.
• Steggles LJ. . In: 6th International Joint Conference on Algebraic and Logic Programming (ALP '97 - HOA '97). 1997, Southampton, UK: Springer-Verlag.
• Steggles LJ. . In: Higher-Order Algebra, Logic, and Term Rewriting: 2nd International Workshop (HOA '95). 1996, Paderborn, Germany: Springer-Verlag.
• Meinke K, Steggles LJ. . In: Higher-Order Algebra, Logic, and Term Rewriting: 1st International Workshop (HOA '93). 1994, Amsterdam, The Netherlands: Springer-Verlag.