��������

Andrius Velykis is a Software Architect at TeleSoftas since July 2018, with prior experience as a Senior Developer at Scott Logic, where contributions included Java backend development for a financial investment platform. As a Research Associate at Newcastle University, Andrius engaged in the "Taming Concurrency" project, focusing on software concurrency and formal reasoning techniques. Earlier roles include Analyst Programmer at YorkMetrics Ltd., where Andrius designed a project data management application, and Programmer at LKSoft Baltic, developing desktop applications. Andrius holds a PhD in Computing Science from Newcastle University, an MSc in Computer Software Engineering from the University of York, and an MSc in Information Systems Engineering from Kaunas University of Technology, complemented by a BSc in Applied Mathematics from the same institution.