AI research & engineering

Jeffrey Kent

I make AI technologies across research and open source. Past projects I've created and contributed to include the Chelis programming language, the Thaw multi-agent simulation environment, PyTorch, and the Sail family of tools for code verification in Rust.

Portrait of Jeffrey Kent

Software

All software
  • Thaw

    A real-time simulation environment for studying how teams of AI agents coordinate. Not yet public.

  • Chelis

    A programming language for AI-generated numerical code.

  • Sail

    Tools to speed up Verus verification for developers and coding agents.