Research output per year
Research output per year
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 7 Affordable and Clean Energy -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 13 Climate Action -
SDG 14 Life Below Water
Fingerprint
Dive into the research topics where Oleksandr Letychevskyi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Digital twins for subsurface systems based on algebraic models
Demyanov, V. & Letychevskyi, O., 3 May 2026.Research output: Contribution to conference › Abstract › peer-review
Open Access -
Digital Twins In Blockchain Environment
Letychevskyi, O. O., 1 Apr 2026, p. 73. 1 p.Research output: Contribution to conference › Abstract › peer-review
Open Access -
Neuro-Algebraic Digital Twin for Critical State Analysis of Mine-Water Geothermal Systems
Letychevskyi, O. O., Aderemi, A., Demyanov, V. & Charalampidou, E.-M., 1 Sept 2026, p. 29. 1 p.Research output: Contribution to conference › Abstract › peer-review
-
Neuro-Algebraic Digital Twin for Intrusion Detection
Letychevskyi, O. O., 1 May 2026.Research output: Contribution to conference › Abstract › peer-review
Open Access -
Verification and Monitoring of the Marine Engine Health and Its Reliability Using a Neuro-Algebraic Based Digital Twin
Letychevskyi, O. O., Patil, C. & Tarasich, Y., 29 Mar 2026.Research output: Contribution to conference › Poster › peer-review
Open AccessFile1 Downloads (Pure)
Activities
-
University of Strathclyde
Letychevskyi, O. (Visiting Researcher)
3 Nov 2024 → 3 Oct 2025Activity: Visiting an external institution › Visiting an external academic institution
-
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
-
Neuro-SYmbolic Approach in Cybersecurity
Letychevskyi, O. (Speaker)
11 Jun 2024Activity: Talk or presentation › Oral presentation
-
Seminar "Algebraic Modelling and its application"
Letychevskyi, O. (Speaker)
13 Dec 2023Activity: Talk or presentation › webinar