معرفی
Ana Lucia Caneca Cavalcanti is a Professor of Computer Science at the University of York, leading the SER research group with expertise in formal methods for safety-critical systems. Her work bridges theoretical software engineering with practical applications in robotics and autonomous systems, emphasizing verification and reliability.
- BSc in Computer Science, Universidade Federal de Pernambuco, Brazil (1987)
- MSc in Computer Science, Universidade Federal de Pernambuco, Brazil (1990)
- DPhil in Computer Science, Oxford University (1997)
Her research centers on formal methods, safety-critical software engineering, and real-time systems, with recent focus on robotics. She develops semantic frameworks for refining and verifying complex systems, particularly in adaptive robotic control. Her methodologies address concurrency, object-orientation, and tooling to ensure correctness in high-stakes environments like autonomous vehicles.
Current publications reveal a cohesive trend: applying process algebra and architectural patterns to robotic software verification. This work targets safety assurance in adaptive systems, integrating formal semantics with physical robot modeling to mitigate risks in autonomous decision-making.
Scientific recognition includes:
- Royal Society Wolfson Research Merit Award
She directs major funded initiatives including RoboSapiens (European Commission, 2024-2026) on human-robot symbiosis, DOMINOS (EPSRC, 2024-2025) for AI disruption mitigation, and the UK Trustworthy Autonomous Systems Verifiability Node (EPSRC, 2020-2024). These projects involve industrial collaborations with Labman Automation and RoboTest, focusing on verifiable safety frameworks.
As SER research group lead, she oversees a team advancing formal verification techniques for next-generation autonomous systems, with active partnerships in the High Integrity Systems ecosystem at York.
