2030 Software Engineering
Mon 15 - Fri 19 July 2024
co-located with FSE 2024
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

Show activities from other conferences

FSE 2024-profile
View general profile