Evgeny Roubinchtein

Evgeny Roubinchtein has a diverse work experience in various roles and companies. Evgeny started their career at Microsoft Corporation in 2008 as a Software Design Engineer in Test, where they worked until 2012. During this time, they focused on developing Python solutions, improving business logic, and creating applications for monitoring and testing procedures.

After their time at Microsoft, they joined the Computer Science Department at the University of British Columbia as a Teaching Assistant in 2012. Evgeny then worked as a Research Assistant at the Software Practices Lab at the same university from 2013 to 2015, where they gained experience in conducting research.

In 2014, Evgeny interned at Mathworks in the Simulink Design Verifier Group, where they explored alternatives to Polyspace Code Prover as a solver for test generation strategies. Evgeny designed and implemented proof-of-concept artifacts using OCaml.

Evgeny returned to Mathworks in 2016 as a Senior Software Engineer, specializing in the Simulink Design Verifier Toolbox. Their main responsibilities included using formal methods and OCaml to generate test cases and prove properties of Simulink models.

Evgeny then joined Arista Networks in 2017 as a Software Engineer, focusing on developing domain-specific languages (DSLs) to enhance the efficiency and accuracy of state machines in Arista switches. Evgeny worked on developing compilers for DSLs with SQL-like syntax and reactive programming languages.

In 2020, Evgeny joined ActiveState as a Senior Software Engineer, working on data collection and transformation from open-source language ecosystems for the ActiveState Platform. Evgeny designed and implemented key components related to vulnerability information and developed an interpreter for a specialized "small language" used for system configurations.

From 2021 to 2023, Evgeny worked at CertiK as a Senior Software Engineer, contributing to the development of tools for blockchain smart contract auditors. Their main project involved creating a lint-like tool that transcribed Rust code to RDF and ran SPARQL queries over the results.

Most recently, in 2023, Evgeny returned to ActiveState as a Senior Software Developer, further utilizing their expertise in software development and data analysis.

Overall, Evgeny Roubinchtein has a strong background in software development, research, and programming languages, with experience in various industries and roles.

Evgeny Roubinchtein completed their Master of Science (MSc) in Computer Science from The University of British Columbia from 2012 to 2015.