Name:	Professor ALC Cavalcanti
Organisation:	University of York
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous 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/V026801/1 UKRI Trustworthy Autonomous Systems Node in Verifiability (C) 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) 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