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 lecturer in the School of Computing Science at the University of Newcastle. He is a member of the Modelling and Reasoning research group and the Centre for Software Reliability (CSR) at Newcastle, and has strong links to the Dependability research group. He is also an active member of the ASL (Asynchronous Systems Lab) and Bioinformatics research themes.
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). Jason has also been investigating applying formal techniques to biological networks and has developed a range of Petri net models and tools which can be used to model and analyse genetic regulatory networks.