Skip to content

Dr Neil Henderson

John Fitzgerald


PhD Topic: Formal modelling and verification of shared variable concurrency

Current Position: Senior Systems Engineer with BAESYSTEMS