Assistant Professor of Computer Science and Co-organiser of @FMASWorkshop. Member of the @autonomy-and-verification network. Prev: @valu3s-mu

Research associate in the University of York. My interests include formal specification and verification, especially the Circus language and its model checking.