EPSRC logo
Researcher Details
 
Name: Professor ALC Cavalcanti
Organisation: University of York
Department: Computer Science
Current EPSRC-Supported Research Topics:
Robotics & Autonomy Robotics & Autonomy
Software Engineering

Current EPSRC Support
EP/R025479/1 RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots(P)
EP/M025756/1 A Calculus for Software Engineering of Mobile and Autonomous Robots(P)
Previous EPSRC Support
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