Andrius Velykis
About Andrius Velykis
Andrius Velykis is a Software Architect with extensive experience in software development and verification. He has worked at various institutions, including Scott Logic and Newcastle University, and currently holds a position at TeleSoftas in Kaunas, Lithuania.
Work at TeleSoftas
Andrius Velykis has been employed at TeleSoftas as a Software Architect since 2018. His role involves designing and implementing software solutions, leveraging his extensive background in programming and software development. TeleSoftas is known for its innovative approach to software engineering, and Velykis contributes to this by applying his expertise in functional programming and software reasoning.
Previous Experience in Software Development
Prior to his current position, Andrius Velykis worked at Scott Logic as a Senior Developer from 2016 to 2018 in Newcastle upon Tyne, United Kingdom. He also served as a Research Associate at Newcastle University from 2014 to 2016. His earlier experience includes a role as an Analyst Programmer at YorkMetrics Ltd. from 2008 to 2011 and as a Programmer at LKSoft Baltic from 2004 to 2008.
Education and Expertise
Andrius Velykis holds a Doctor of Philosophy (PhD) in Computing Science from Newcastle University, which he completed from 2010 to 2015. He also earned a Master of Science (MSc) in Computer Software Engineering from the University of York in 2009 and a Master of Science (MSc) in Information Systems Engineering from Kaunas University of Technology in 2008. His undergraduate studies culminated in a Bachelor of Science (BSc) in Applied Mathematics from Kaunas University of Technology, completed in 2007.
Technical Skills and Proficiencies
Andrius Velykis is proficient in various programming languages and tools, including JavaScript, PHP, Gradle, and Maven. He has experience in verification using Isabelle/HOL and Z/EVES theorem proving assistants. Velykis is also skilled in using Z and VDM notations for developing software specifications. He has configured and maintained build and release systems for several open-source projects and has developed static websites using HTML, CSS, Thymeleaf, Jekyll, and Bootstrap.
Contributions to Open Source Projects
Throughout his academic and professional career, Andrius Velykis has contributed to various large open-source software projects. His involvement in these projects showcases his commitment to collaborative software development and his ability to work on complex software systems. He has also independently developed and released a number of tools, further demonstrating his technical capabilities.