|
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
|
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) |
|
Previous EPSRC Support |
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
|
|
|
|
|