Alexandru Cioc
Chief Technology Officer at Leyoda
Maastricht, Limburg, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolAlexandru Cioc is a pragmatic CTO with 11 years of hands-on engineering experience who now leads Leyoda, building an AI-driven SaaS that turns unstructured startup data into investor-ready signals. He architects and operates production-grade distributed systems—Spring Boot backends, Next.js frontends, PostgreSQL, Docker—with a track record of zero-downtime deployments, high-availability releases, and productionized LLM pipelines for embeddings and clustering. A former Amazon engineer educated at Caltech and a Maastricht CS student, Alex blends enterprise-scale practices from AWS/Prime Video/Twitch with startup velocity, having shipped multiplayer and plugin ecosystems in Java for gaming platforms. He’s comfortable spanning architecture, data, and infra while still shipping code, and often surfaces unexpected value by converting messy real-world data into actionable investment intelligence.
10 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Maastricht University
English, Romanian, French, Dutch
Github Skills (37)
verification10
sdk10
programming-language9
ssl9
aws-sdk9
dafny9
fhe9
crypto9
aws9
specification9
c999
encryption9
protocols9
compiler8
amazon-dynamodb8
Programming languages (8)
Github contributions (5)
acioc/dafny
Mar 2020 - May 2020
Dafny is a verification-aware programming language
Contributions:55 pushes, 6 branches in 1 month
compilerdafnyprogramming-languageverification
acioc/aws-encryption-sdk-specification
Jun 2020 - Jul 2020
AWS Encryption SDK Specification
Contributions:47 pushes, 12 branches in 1 month
specificationencryptionsdkaws
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.