Your Attractive Heading
About Us
Who we are
We are the team with over 15 years of experience in algebraic modelling across various domains, including formal system verification, software and hardware, and physical and chemical process modelling.
The result of this extensive work is an algebraic modelling system used in numerous projects, which will now be applied to create human digital twins.
The team possesses expertise in developing AI models and algebraic modelling. We collaborate with UK universities (Strathclyde, Leeds, and Edinburgh), which provide access to data, expertise, and additional researchers (students and postgraduates).
NEURO-INSERTION SOLUTIONS LTD Team
Professor O. Letiychevskyi: A scientist-algebraist, he has been engaged in formal methods in the verification of various subject areas for many years. The author of numerous works on using algebraic modelling and AI. Oleksandr is a professor at Heriot-Watt University (Edinburgh). He also worked as a contractor at Motorola for the application of algebraic methods in the testing and verification of software and hardware systems, and as a project leader, architect, and scientific leader in research.
Dr V. Volkov: Researcher with over 30 years of experience in applying formal methods to automated test generation and requirements verification, algebraic programming and insertion modelling. Author of more than 40 scientific publications. Manager of software development projects with over 20 years of experience, especially in CMM/CMMI and Agile-based process models.
Dr Y. Tarasich: She is the author of numerous scientific publications in informatics and information technologies. Her research interests include insertion modelling, symbolic modelling, algebraic modelling, tokenomics, and scientometrics. 5+ years modelling cellular interactions, including published work on apoptosis and radiotherapy.
Leadership Team
Dr Oleksandr Letychevskyi
www.linkedin.com/in/oleksandr-letychevskyi
Vladyslav Volkov
www.linkedin.com/in/vladyslav-v
