Ben Moszkowski

Guest Member of Staff · School of Computing

Temporal logicInterval Temporal LogicConcurrent systemsPetri netsHardware verificationCompositional reasoning

简介

Ben Moszkowski is a guest member of staff at Newcastle University's School of Computing. His research focuses on the modelling and verification synergies between Petri nets and Interval Temporal Logic (ITL), which he introduced in his PhD research. He has worked on complete axiom systems for temporal logics, compositional specification and proof techniques for concurrent systems, and techniques for specifying, simulating and verifying hardware.

教育经历

BSc Mathematics/Computer Science, University of California at Los Angeles, 1976
PhD Computer Science, Stanford University, 1983

代表成果

From Box Algebra to Interval Temporal Logic
From Petri Nets with Shared Variables to ITL
An Application of Temporal Projection to Interleaving Concurrency

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。