AGI Strategies

person

Ramana Kumar

Google DeepMind safety researcher; formal verification

DeepMind safety researcher who works on formal verification, tampering incentives, and scalable oversight. Combines theorem-proving background with alignment research.

current Research Scientist, Google DeepMind

Strategy positions

Alignment firstendorses

Solve technical alignment before capability thresholds close

Technical contributor to safety research, particularly around formal verification and agent tampering incentives.

Formal verification is under-used in AI safety. When you can prove a property rather than measure it, you should.
✍ blogRamana Kumar, Alignment Forum· AI Alignment Forum· 2023· loose paraphrase

Closest strategy neighbours

by jaccard overlap

Other people whose strategy tags overlap with Ramana Kumar's. Overlap is on tag identity, not stance; opposites can show up if they reference the same tags.

  • Aaron Courville

    shared 1 · J=1.00

    Université de Montréal; Deep Learning textbook co-author

  • Adam Jermyn

    shared 1 · J=1.00

    Anthropic; previously astrophysics

  • Adam Kalai

    shared 1 · J=1.00

    Microsoft Research; AI fairness and safety

  • Agnes Callard

    Agnes Callard

    shared 1 · J=1.00

    University of Chicago philosopher; aspiration theorist

  • Ajeya Cotra

    shared 1 · J=1.00

    Open Philanthropy researcher; 'biological anchors' forecaster

  • Alan Turing

    Alan Turing

    shared 1 · J=1.00

    Founder of theoretical computer science (1912–1954)

Record last updated 2026-04-25.