Dmitri Vlasov

Dmitri Vlasov is a Verification Engineer at Pi Squared Inc. since July 2024 and has concurrently served as a Software Engineer at Area9 Group since September 2017, where development of a functional language is underway. Previous experience includes positions as an Associate Researcher at the Sobolev Institute of Mathematics from June 2004 to March 2022, and Software Engineer roles at RhythmOne, contributing to a clustered high-load processing service, and Parallels, focusing on the development of an LLVM-based PHP compiler's runtime environment. Dmitri Vlasov holds a Doctor of Philosophy (Ph.D.) in Algebra and Mathematical Logic from the Sobolev Institute of Mathematics and a Master of Science (MS) in Mathematics and Logic from Novosibirsk State University.