Oleksandr Letychevskyi

Oleksandr Letychevskyi is an Assistant Professor at the School of Mathematical & Computer Sciences, Department of Computer Science, Heriot-Watt University, UK. He is currently accepting PhD students for 2025.

His research focuses on integrating Formal Methods and AI Technology into Blockchain, Cybersecurity, and Cyber-Physical Systems. Key areas include Smart Contracts, Digital Twins, Hardware Design, and Software Engineering (testing, verification, re-engineering). His work emphasizes secure and autonomous systems leveraging historical data and team-member collaboration.

Recent research output includes a 2025 conference abstract on self-learning smart contracts, exploring formal methods and AI-driven systems. No scientific awards are explicitly listed.

No grants or lab affiliations are detailed in the provided text.