Lausanne area, Switzerland

TypeScope

Our mission is to develop the best secure programming language and tools for building provably safe AI agents.

LONDON OSLO PARIS BERLIN TOKYO DUBAI SHANGHAI SYDNEY SAN FRANCISCO NEW YORK SÃO PAULO LAGOS JOHANNESBURG LAUSANNE SWITZERLAND

Founder & CEO

Dr. Fengyun Liu

Dr. Fengyun Liu

Founder & CEO

[email protected]

Fengyun holds a PhD in computer science from EPFL, where he worked on type systems, capability systems, and safe initialization. Before founding TypeScope, he spent four years as a senior researcher at Oracle Labs Zurich.

He has extensive experience working on the Scala 3 compiler and is a Distinguished Paper Award winner at a top programming languages conference. His recent passion is designing secure programming languages from first principles.

Enterprise Support

TypeScope offers technical support for teams deploying Jo in production. Services include SLA-backed technical support, security auditing and consulting.

For enterprise inquiries, reach us at [email protected].

History

  1. 2026.12 — planned

    Fine-tuned LLM for Jo

    An LLM fine-tuned to generate correct, capability-conformant Jo code — available on-premise or via API.

  2. 2026.6 — planned

    Alpha release of Jo

    Jo reaches alpha — compiler, standard library, and toolchain available for early adopters to evaluate in real projects.

  3. 2026.2

    First secure agent

    First production-grade AI agent built entirely in Jo, with end-to-end capability enforcement in a real deployment.

  4. 2025.12

    Flow typing

    Flow typing streamlines complex operations involving pattern testing and data extraction — the type system tracks what you know, so you don't have to repeat it.

  5. 2025.10

    First confinement prototype

    First working prototype of compile-time capability confinement — agents provably restricted to declared permissions.

  6. 2025.6

    Separate compilation support

    Separate compilation based on a standard intermediate format — enabling modular builds and library distribution.

  7. 2024.12

    Capability model and implementation

    Core capability model designed and implemented — the theoretical and engineering foundation for compile-time agent confinement.

  8. 2024.6

    Type inference and type system

    Core type inference engine and type system implemented — enabling expressive, safe code without annotation overhead.

  9. 2024.1

    Start of Jo

    Work begins on the Jo language — design and implementation of the type system, compiler, and capability model.

Careers

We are a small, technical team. The work is deep: type system design, compiler implementation, security modelling, and the infrastructure to support production deployments.

We are not actively hiring right now, but we are always interested in engineers who care seriously about programming language design, type systems, or security. If that describes you, reach us at [email protected] with a note about your background and what draws you to the problem.

Contact

Questions, feedback, feature ideas, or just saying hello — reach us at [email protected].