ECOOP 2025 (series) / Diana Carolina Benjumea Hernandez
Registered user since Tue 14 May 2024
Name:Diana Carolina Benjumea Hernandez
Country:United Kingdom
Affiliation:The University of Manchester, UK
Personal website: https://dianabenjumea.github.io/
GitHub: https://github.com/dianabenjumea
Research interests:Autonomous Systems, Robotics, Formal Verification, Artificial Intelligence, System Safety, Safety-Critical Systems, Software Architectures
Contributions
Using general profile