Centre for Software Reliability

Staff Profile

Dr Jason Steggles

Senior Lecturer

Background


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.


Research

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 

Teaching

 

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

 

Publications