Research output per year
Research output per year
Mr, Dr
EH14 4AS
United Kingdom
Accepting PhD Students
Research activity per year
Usage of Formal Methods and AI Technology in Blockchain Technologies, Cybersecurity, Cyber-Physical Systems, Software Engineering (testing, verification, re-engineering), Hardware Design, Digital Twins Technology.
Research output: Contribution to conference › Abstract › peer-review