Miartech

GenProof generates mathematical proofs that guarantee 100% code correctness

San Francisco, California, United States

The future of human tissue replacements using 3D printing

London, United Kingdom

Autonomous dual-mode vehicles that seamlessly transition between road and rail to deliver faster, greener, and more resilient first-mile logistics

Shaver Lake, CA

The platform orchestrating autonomous vehicles for commerce and ride-hailing

United States

AI-native patent research and intelligence platform purpose-built to overcome the limitations of traditional patent research.

Toronto, Ontario, Canada

Developing AI-powered safety for air traffic control.

Rapid air transport service using autonomous blended-wing aircraft and proprietary worldwide landing pad network

Develops computer software, including image content and multimedia software for both consumer and business markets.

Mountain View, United States

Develops semiconductor devices that enhance data transfer in microprocessor-based systems.

Sunnyvale, United States