DoctorChenyi Zhang
Senior Lecturer Above the Bar
Computer Science and Software Engineering
- Senior Lecturer Above the BarComputer Science and Software Engineering
RESEARCH INTERESTS
At the moment I'm mainly focusing on the following research areas:
(1) Applying formal methods to blockchain and cybersecurity related research topics;
(2) Verification of programming languages related security properties.
I'm mainly a researcher trained with formal methods and program analysis. Nevertheless, I have experience overseeing/supervising projects across a range of topics in machine learning and artificial intelligence.