Registered user since Thu 1 Oct 2026
Name:Holly Hendry
Bio:
I’m an RA investigating the potential use of AI to aid in formal verification. My former research experience is in the use of model checking, process algebra, UML, and defining formal semantics for human-robot interaction.
Country:United Kingdom
Affiliation:University of York
GitHub: https://github.com/hollyrebecca
Research interests:Formal Verification, Human-Robot Interaction, AI For Mathematics
Contributions
Using general profile