Denys Shabalin
Formally verifying AI-generated code at GDM.
engineeringZurich, Zurich, Switzerland
Engineers, researchers, leadership, sales, and GTM. Explore their public career paths.
6,034 results · Collected professional profiles
Formally verifying AI-generated code at GDM.
PhD @IIIT-D | Student Researcher @DeepMind
Student at University of California, Los Angeles
Senior Staff Research Scientist at Google DeepMind
Software Engineer at Google Deepmind
GenAI Researcher
Architect at Google DeepMind
Software Engineer at Google DeepMind
GeminiApp Personal Intelligence
Principal Scientist / Research Director @ Google DeepMind
Applied Data Science Lead at Google DeepMind
AI researcher at Max Planck for Intelligent Systems