Personal profile
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.
Keywords
- QA76 Computer software
- Formal Verification
- Software Testing
- Artificial Intelligence
- Software Development Process
- QA75 Electronic computers. Computer science
- Hardware Verification
- Cybersecurity
- Blockchain
- Digital Twins
- Algebraic Modelling
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 9 Industry, Innovation, and Infrastructure
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Digital twins in intrusion detection systems based on deep learning
Letychevskyi, O. O. & Yevdokymov, S. O., 7 Sept 2025, In: Problems in Programming. 2, p. 20-27 8 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Downloads (Pure) -
Information Technology of Formal Verification and Design of FPGA Electronic Projects
Odarushchenko, O., Letychevskyi, O., Shamanskyi, V., Babeshko, I., Peschanenko, V. & Striuk, O., 21 Aug 2025, 2024 14th International Conference on Dependable Systems, Services and Technologies (DESSERT). IEEE, 11122210Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Neuro-Symbolic Twins of Software Systems and Their Use in Solving Cybersecurity Problems
Letychevskyi, O., Nov 2025, In: Cybernetics and Systems Analysis. 61, 6, p. 909–915 7 p.Research output: Contribution to journal › Article › peer-review
-
Self-learning smart contracts
Letychevskyi, O., 4 Apr 2025.Research output: Contribution to conference › Abstract › peer-review
-
The Problem of Accuracy in Systems for Cyberattack Resistance and the Verification of Neural Networks on the Example of Botnet Detecting Problem
Letychevskyi, O. & Panchuk, B., 26 Apr 2025, In: Cybernetics and Systems Analysis. 61, 2, p. 167-174 8 p.Research output: Contribution to journal › Article › peer-review
1 Link opens in a new tab Citation (Scopus)
Activities
-
University of Strathclyde
Letychevskyi, O. (Visiting Researcher)
3 Nov 2024 → 3 Oct 2025Activity: Visiting an external institution › Visiting an external academic institution
-
Neuro-SYmbolic Approach in Cybersecurity
Letychevskyi, O. (Speaker)
11 Jun 2024Activity: Talk or presentation › Oral presentation
-
Digital Twins Beyond Observed Capabilities (DTBOC) Sandpit
Letychevskyi, O. (Invited speaker)
25 Nov 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Loughborough University
Letychevskyi, O. (Visiting Researcher)
11 Jun 2024 → 3 Jul 2025Activity: Visiting an external institution › Visiting an external academic institution
-
Seminar "Algebraic Modelling and its application"
Letychevskyi, O. (Speaker)
13 Dec 2023Activity: Talk or presentation › webinar