Gricel Vázquez

Registered user since Mon 29 Jun 2020

Name:Gricel Vázquez
Bio:

I am a 3rd year PhD student in Computer Science at the University of York (UK). My research interests include formal methods, multi-robot systems (MRS), task allocation and planning, domain-specific languages for MRS, autonomous systems ethical concerns, self-adaptive and critical systems. I completed my MSc in Computational Intelligence and Robotics at the University of Sheffield.

Country:United Kingdom
Affiliation:University of York, UK
Research interests:Robotics, Formal Methods, Task allocation and scheduling, Plan synthesis, Probabilistic model checking

Contributions