↔ transferPlayer cards ↗
People / Denys Shabalin
DS
Career profile

Denys Shabalin

Formally verifying AI-generated code at GDM.

Zurich, Zurich, Switzerland

Career path.

  1. Google DeepMind

    Senior Software Engineer

    Apr 2023 - Present
  2. Google

    Senior Software Engineer

    Nov 2019 - Apr 2023
  3. EPFL (École polytechnique fédérale de Lausanne)

    Research Assistant

    Sep 2014 - Nov 2019
  4. Typesafe, Inc.

    Software Engineer Intern

    Aug 2013 - Aug 2014