EPSRC logo
Researcher Details
 
Name: Professor ALC Cavalcanti
Organisation: University of York
Department: Computer Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Human-Computer Interactions
Mathematical Aspects of OR Robotics & Autonomy
Robotics & Autonomy Sociology
Software Engineering

Current EPSRC Support
EP/V026801/2 UKRI Trustworthy Autonomous Systems Node in Verifiability(C)
EP/V026747/1 UKRI Trustworthy Autonomous Systems Node in Resilience(C)
EP/R025479/1 RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(P)
Previous EPSRC Support
EP/V026801/1 UKRI Trustworthy Autonomous Systems Node in Verifiability(C)
EP/M025756/1 A Calculus for Software Engineering of Mobile and Autonomous Robots(P)
EP/H017461/1 High-integrity Java Applications using Circus(P)
EP/E025366/1 Programming from Control Laws(P)
EP/C516966/1 TUNA: Theory Underpinning Nanotech Assemblers (Feasibility Study)(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator