UoY-RoboStar
Kumar Acharjee
10KSA01
If there are any problems with the projects then please let me know on
London
Matt Luckcuck
mluckcuck
Assistant Professor of Computer Science and Co-organiser of @FMASWorkshop. Member of the @autonomy-and-verification network. Prev: @valu3s-mu
University of Nottingham Derby, UK
Kangfeng Ye
RandallYe
Research associate in the University of York. My interests include formal specification and verification, especially the Circus language and its model checking.
York, United Kingdom