Jason Steggles

简介

Jason Steggles is a Senior Lecturer in the School of Computing at Newcastle University. His research focuses on formal methods for modelling and reasoning about computing systems, including algebraic techniques for stream processing and rewriting logic for concurrent systems. He also develops qualitative models and tools for biological networks, particularly Boolean networks for genetic regulatory networks.

教育经历

• PhD in Theoretical Computer Science, University of Wales, Swansea

代表成果

• A compositional framework for Boolean networks
• A Formal Framework for Composing Qualitative Models of Biological Systems
• Modelling and Analysing Qualitative Biological Models using Rewriting Logic
• Strategy based semantics for mobility with time and access permissions
• Revising basic theorem proving algorithms to cope with the logic of partial functions
• A Timed Mobility Semantics Based on Rewriting Strategies
• An abstraction theory for qualitative models of biological systems
• Abstracting Asynchronous Multi-Valued Networks
• An Abstraction Theory for Qualitative Models of Biological Systems
• Modelling Genetic Regulatory Networks