Victor Bushkov

Victor Bushkov is an accomplished software engineer with extensive experience in backend development and formal methods integration. Currently serving as a Software Engineer at Edgelab since April 2020, Victor leads the development of a Wealth Projection Engine, managing the project's entire lifecycle. Prior roles include a Software Engineer position at Evooq, focusing on formal methods in development, and a tenure at Nexthink, where Victor enhanced performance testing for an in-memory database engine. Academic experience includes a Research Assistant position at EPFL, where Victor developed formal models for transactional memory systems and contributed to teaching Concurrent Algorithms. Victor holds a Ph.D. in Computer Science from EPFL and both a Master’s and a Bachelor’s in Electrical Engineering and Computer Science from Tomsk State University.