Ben Moszkowski

About

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.

Education

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

Selected publications

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