Skip to main content
Profile

Oleksandr Letychevskyi

Assistant Professor

Department
Computer Science
Subject areas
Computer Science
Accepting PhD Students
Yes
Research profile
Oleksandr Letychevskyi

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