In March 2019 the University of York hosted the first CyPhyAssure Spring School on computer-assisted assurance, organised by Simon Foster and Mario Gleirscher. Invited lectures covered topics such as autonomy, robotics, verification, testing, formal methods, and the future of assurance.
The first event of YorRobots, which will take place on the 11th of January 2019, aims to bring together the researchers in York who would like to get involved in this community, so that they can meet each other and plan, together, the future of YorRobots and York’s presence in the UK-RAS Network.
On 14 August ESC’s Ron Bell OBE (Director) and Dr Fan Ye (Principal Consultant) made a contribution to a research project titled “RoboTest” being undertaken at the Computer Science Department at the University of York in collaboration with the Department of Electronic Engineering, the University of Sheffield, and the University of Surrey.
On 13th of April the RoboCalc team will be attending the Advisory Board meeting of the closely related research project RoboTest at Brunel University London.
Ana Cavalcanti is taking up a Royal Academy of Engineering Chair on Emerging Technologies to pursue the long-term vision of RoboCalc.
On the 16th of May the RoboCalc team will be participating in the Pint of Science festival at York with the talk “RoboScience: can using robots add up to a safer world?”. Doors open at 7pm. Tickets are available now.
Over the course of 2 weeks, Ana Cavalcanti delivered a module on RoboChart at UFPE, including practical sessions on the use of RoboTool/FDR for modelling and analysis. Students are now using RoboTool to support modelling and analysis of robotic systems as part of their degree projects.
RoboCalc was presented to a group of experts from the Federal University of Pernambuco (UFPE) in Brazil and the Center for Advanced Studies and Systems Cesar. UFPE has the largest research group on software reliability in Brazil. Cesar is a business incubator and innovation centre, the largest component of Porto Digital in Recife (where UFPE is located). We are discussing close collaboration with UFPE and Cesar on topics related to RoboCalc.
RoboCalc was showcased at a recent EPSRC review of Robotics and AI funded research. All currently EPSRC funded projects presented their work to an international panel, addressing issues such as potential impact of the work, collaboration with industry and fundametal academic questions that underpin the research.
On the 7th of November 2016 Wei Li presented the poster From Formalised State Machines to Implementations of Robotic Controllers at the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which was held at the Natural History Museum in London, UK.
On the 29th of September Ana Cavalcanti presented RoboCalc to the Formal Aspects of Computing Science Specialist Group (FACS), the British Computer Society (BCS) Specialist Group for practitioners in Formal Aspects of Computing Science.
Our paper From Formalised State Machines to Automatic Implementations of Robotic Controllers has been accepted for the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which will take place from 6 to 9 November 2016 at the Natural History Museum in London, UK.
On the 1-4 December 2015 the School on Verification of Mobile and Autonomous Robots and Workshop was held at the Department of Computer Science.
On Monday the 30th of November 2015, the kick-off meeting with our Advisory Board was held at the Department of Computer Science.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500