Vladislav Yaglamunov Software Engineer LinkedIn I was introduced to C++ in high school, I was participating in lots of algorithmic programming contests and C++ simply had the fastest execution times, so it was the obvious choice for many contestants. I was not aware of all the depth behind it until I had a course on it in university, where I was completely shocked and amazed by it. There, I also got interested in logic and formal methods, and so I moved to the Netherlands to study it and that is how I joined Solid Sands for my Master’s thesis in formal verification of C library. In my free time, I enjoy movies and online games, occasionally, I like snowboarding and table tennis.