Profile
Oleksandr Letychevskyi
Assistant Professor
- Campus
- Edinburgh Campus
- Department
- Computer Science
- Subject areas
- Computer Science
- Accepting PhD Students
- Yes

Research
Research
Research
Research interests
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.
Areas of expertise
- Formal Verification and Testing
- Artificial Intelligence
- Cybersecurity
- Algebraic Modelling
- Neuro-Algebraic Approach
- Digital Twins
- Blockchain
- Software Development Process
Other keywords
- QA76 Computer software
- QA75 Electronic computers. Computer science