Area9
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.
This person is not in any offices
Area9
13 followers
Area9 is a group of companies that have grown out of 20 years’ of research in human factors, learning, product development, content development and computer science. Area9 Group comprises two complementary companies: Area9 Innovation and Area9 Lyceum.