NASA Formal Methods 2024 (series) / 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
X (Twitter): https://x.com/gggz10382119
GitHub: https://github.com/Gricel-lee
Research interests:Robotics, Formal Methods, Task allocation and scheduling, Plan synthesis, Probabilistic model checking
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile