Andrius Velykis
Software Architect at TeleSoftas
Kaunas, Kaunas County, Lithuania
Summary
👤
Senior🎓
Top SchoolAndrius Velykis is a software architect with 18 years of experience blending industry-grade Java/Scala development and release engineering with rigorous formal-methods research. He holds a PhD in Computing Science and has driven architecture and delivery at TeleSoftas after building backends for financial platforms and contributing mechanised concurrency theory at Newcastle University using Isabelle/HOL. Comfortable across the full stack—from Spring Boot and Gradle to Eclipse RCP and static web tooling—he pairs pragmatic engineering with strong abstraction skills, functional programming and concurrency reasoning. He has a track record of turning formal research ideas into usable tools and open-source contributions, preferring to implement and integrate theories rather than leave them on paper. Based in Kaunas, Lithuania, he combines academic rigor in theorem proving and specification (Z, VDM, Isabelle) with hands-on leadership in CI, build systems and product-focused development.
18 years of coding experience
10 years of employment as a software developer
Bachelor of Science (BSc), Applied Mathematics, Distinction, top 3 result in the course, Bachelor of Science (BSc), Applied Mathematics, Distinction, top 3 result in the course at Kaunas University of TechnologyDoctor of Philosophy (PhD), Computing Science, Doctor of Philosophy (PhD), Computing Science at Newcastle UniversityMaster of Science (MSc), Computer Software Engineering, Distinction - 90% overall grade average (best result in the course), Master of Science (MSc), Computer Software Engineering, Distinction - 90% overall grade average (best result in the course) at University of YorkHigh school, High school at Kaunas University of Technology Gymnasium
English, Lithuanian, German
Stackoverflow
188reputation
21kreached
3answers
1question
Github Skills (93)
maven-plugin10
maven10
java10
spring-boot10
bootstrap10
spring10
reflow9
spring-security9
apache9
child-process9
cli8
http-api8
xml8
springframework8
aws8
Programming languages (6)
Github contributions (5)
andriusvelykis/reflow-maven-skin
Sep 2012 - Jun 2014
Reflow is an Apache Maven site skin built on Bootstrap. It allows various structural and stylistic customizations to create a modern-looking Maven-generated website.
Contributions:220 commits, 1 comment in 1 year 9 months
maven-pluginmavenapachecustomizationsstructural
andriusvelykis/ml-dev
Jan 2013 - Apr 2013
Contributions:36 commits in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.