How many investments has Pragma Ventures made?

Pragma Ventures has 24 tracked investments, 2 of which have exited.

What sectors does Pragma Ventures focus on?

Pragma Ventures focuses on AI & Machine Learning, Crypto & Web3, Data & Infrastructure, Deep Tech.

Where is Pragma Ventures located?

Pragma Ventures is headquartered in Seoul, KR.

Who does Pragma Ventures co-invest with?

Pragma Ventures most often shares deals with TPC Club (The presale club), TPC Ventures, Archetype, among 65 tracked co-investors.

Pragma Ventures

Venture capital

Seoul · 5 people tracked

★ Follow + Add to CRM ⤳ Find an introduction

Find your way into Pragma Ventures

Each arrow is one introduction. Sign up to fill in the first one.

1,251 people can intro you to Myeongjae

Ask Beknazar Abdikamalov to introduce you to Myeongjae Jeon

You →Beknazar · together at Ulsan National Institute of Science and Technology →Myeongjae

233 people can intro you to Yarko

Ask Jamie Chen to introduce you to Yarko Hayduk

You →Jamie · together at Bluzelle - Global Availability in 5 Minutes →Yarko

3 people can intro you to Roy

Ask Sam Okafor to introduce you to Roy Koo

You →Sam · together at Inha University 인하대학교 →Roy

Your email: who you already know at Pragma Ventures, and who your contacts know
2nd- and 3rd-degree connections: people you know who worked, studied or invested with the Pragma Ventures team
Your LinkedIn: the connections who can make the intro for you

We rank every route by how warm it is, so you raise on warm intros instead of cold emails.

✨ Fox Verdict

Investment thesis

Pragma positions itself as a research-driven organization bringing top-tier expertise in distributed systems and AI to support ambitious Web3 projects. Its stated areas of focus include AI systems, distributed systems, consensus protocols, and data indexing. The page emphasizes deep technical and research capabilities aimed at supporting cutting-edge Web3 initiatives, though it does not describe specific investment activities, stages, or check sizes.

Invests inAI & Machine Learning Crypto & Web3 Data & Infrastructure Deep Tech Asia-Pacific Global Seoul South Korea

Source: firm website, verified Aug 3, 2026.

Leave your own feedback

Seoul, KR

Tracked investments

Acquisitions

Team · 5 people

from the firm's website & curated

Myeongjae Jeon· General Partner, Head of Research· Pohang, North Gyeongsang, South Koreain

An Associate Professor of Computer Science at POSTECH with a PhD from Rice University and prior work at Microsoft Research and ARM Research. He leads a research lab focused on AI systems, real-time big data analytics, and emerging hardware.

Roy Koo· General Partner, Head of Trading· South Koreain 𝕏

Holds a BSc in Computer Science from Inha University, South Korea, and has years of venture capital experience in South Korea. He offers strategic insights and network access for portfolio projects expanding into the Korean market, with expertise in AI, DePIN, and the Bitcoin ecosystem.

Yaroslav Hayduk· General Partnerin 𝕏

Holds a PhD in Computer Science from the University of Neuchatel, Switzerland, with research in distributed systems and industry experience in blockchain including decentralized storage, algorithmic trading, and indexing. He provides technical support to portfolio companies and works on DeFi and smart contract solutions.

Youngseok Yang· Research Partner· Seoul, South Koreain

Holds a PhD in Computer Science from Seoul National University and created Fluffy, a differential fuzzer that uncovered Ethereum consensus bugs, one of which led to the November 2020 Ethereum hard fork. He is CEO and founder of Nodeinfra.

Yarko Hayduk· General Partner & Technical Lead· Lisbon, Portugalin

Partner at Pragma Ventures.

What they invest in

from 19 of 24 portfolio companies

Crypto & Web3 ×10Data & Infrastructure ×6Developer Tools ×5Enterprise Software ×5Fintech ×5AI & Machine Learning ×4Cybersecurity ×3Deep Tech ×3

HQs:United States×7Australia×1Canada×1United Kingdom×1Singapore×1

Investments · 24 tracked

founders shown can be your intro path

By year:2024 · 1 2022 · 12 dated

Advanoadvano.io in 𝕏Seed

Advano manufactures silicon-based anode materials for lithium-ion batteries that improve energy density and reduce costs for electric vehicles.

Advanced ManufacturingCleantechClimate TechNew Orleans, US

Shiva Adireddy(Founder/CTO)in Alexander Girau(Founder)in

Co-investorsAAF Management Ltd.Boot64 Ventures Fifty Years Globivest Innovation Catalyst New Orleans Startup Fund +17 more

Armoryarmory.io in 𝕏Seedacquired by Harness · Jan 2024 · $7M

Armory provides continuous deployment software that helps development teams automate and manage application releases across their infrastructure at scale, with built-in safety and security controls.

Data & InfrastructureDeveloper ToolsEnterprise SoftwareSan Francisco, US

Isaac Mosquera(Founder/CTO)in Ben Mappen(Founder/CPO)in

Co-investorsBase Venture Management, Inc.Crosslink Capital Insight Partners Javelin Venture Partners Lumia Capital Mango Capital +23 more

Availavailproject.org in 𝕏

Avail is a blockchain infrastructure project focused on scalability solutions for blockchain ecosystems.

Crypto & Web3Data & Infrastructure

Anurag Arjun(Co-Founder)in

Co-investorsAmino Capital Borderless Venture Coatue Management Dragonfly Figment HTX Ventures (ex Huobi Ventures)+20 more

Avalancheavax.network in 𝕏

The Avalanche Foundation is a non-profit organization that supports innovation and growth in the Avalanche ecosystem through grants, programs, and strategic support for developers, entrepreneurs, and communities building on the Avalanche blockchain platform.

Crypto & Web3Data & InfrastructureDeveloper ToolsEnterprise SoftwareFintech

Emin Gun Sirer(Founder)in

Co-investorsa16z crypto Aegis Ventues Andreessen Horowitz Andromeda Capital BaseTwo Big Brain Holdings +31 more

Bitlayerbitlayer.org in 𝕏

Bitlayer is a Bitcoin-focused blockchain infrastructure project offering YBTC (yield-bearing BTC), multichain support, and BTC deposit and trading functionality.

Crypto & Web3Data & InfrastructureFintech

Charlie Hu(Founder)inKevin He(Founder)in

Co-investors57Blocks Capital ABCDE Capital AlphaLab Capital Asymmetric BaseTwo Caladan +12 more

D8Xd8x.exchange

Institutional-grade perpetual futures DEX.

Co-investorsBlock Consult Crypto Discover G1 Ventures HyperNest

Exolabsexolabs.net 𝕏

exo connects Macs and workstations into a single local inference cluster, automatically discovering devices, mapping network topology, and splitting AI models across device memory to run frontier models on-premises.

AI & Machine LearningDeep TechDeveloper Tools

Co-investorsArchetype Big Brain Holdings Breed Robot Ventures

Fondofondo.com in 𝕏Seed

Fondo provides financial management and bookkeeping services to help startups track cash flow, burn rate, and runway.

AI & Machine LearningEnterprise SoftwareFintechSaaSSan Francisco, US

David J. Phillips(Founder/CEO)in

Co-investorsMotley Fool Ventures Next Coast Ventures Pi Campus Y Combinator Advisors Firstrock Capital +4 more

Gogopoolgogopool.com

GoGoPool is a liquid-staking protocol on Avalanche that lets operators run validator minipools and supports L1/Subnet launches.

Co-investorsCoinFund

Home Daohome-dao.com in 𝕏

homeDAO is a residential accelerator program in Oxford that provides free accommodation, workspace, and $350k SAFE funding to founders building early-stage companies.

EdTechFuture of WorkOxford, GB

Kintsukintsu.xyz in 𝕏

Kintsu is a liquid staking protocol on the Monad blockchain that lets users stake MON tokens and receive sMON liquid staking tokens usable across DeFi for trading, lending, and pooling while earning staking and MEV yield.

Crypto & Web3Fintech

Connor McKenzie(Founder)in

Co-investorsNxGen Purechain Capital Reciprocal Ventures Brevan Howard Digital Castle Island Ventures FinTech Collective

lvl5lvl5.ai 𝕏SeedAcquired

lvl5 creates high-definition mapping technology used by autonomous vehicle developers for navigation and localization.

Advanced ManufacturingMobility & TransportationSan Francisco, US

George Tall(Founder/CTO)in

Co-investorsAmino Capital Base Venture Management, Inc.IT-Farm Corporation Y Combinator Friale Hack VC +4 more

Mind Networkmindnetwork.xyz in 𝕏

Mind Network builds privacy infrastructure using Fully Homomorphic Encryption (FHE) and Zero Knowledge Proofs (ZKPs) to enable computation on encrypted data and verification without disclosure.

Crypto & Web3CybersecurityDeep Tech

Co-investorsMoonhill Capital TPC Club (The presale club)TPC Ventures Binance Labs SevenX Ventures

Nilesniles.aiSeedDefunct

Niles is a Slack integration that captures conversations and documents to build a team knowledge repository accessible in real time.

Enterprise SoftwareFuture of WorkSan Francisco, US

Mack Lu(Founder/CEO)in

Co-investorsY Combinator Harlan Capital Partners Inovia Capital K5 Ventures Tech Coast Angels Venture Investment Associates

OneLocalonelocal.com in 𝕏Seed

OneLocal provides an AI-powered marketing platform designed for local service businesses, helping them improve online visibility, capture leads, and automate marketing tasks through integrated tools including website design, SEO optimization, and lead management.

AI & Machine LearningEnterprise SoftwareMarketing TechSaaSToronto, CA

Edward Yao(Founder/CEO)in

Co-investorsAAF Management Ltd.CANVentures FundersClub Y Combinator Agrolimen Ventures Golden Ventures +8 more

OpenGradientopengradient.ai in 𝕏

OpenGradient operates a decentralized network for verifiable AI computing, letting users host models, run secure inference, and deploy AI agents onchain.

AI & Machine LearningCrypto & Web3Deep TechNew York City, US

Adam B(Founder)

Co-investorsThanefield Capital TPC Club (The presale club)TPC Ventures a16z crypto Alloy Fund Black Dragon +8 more

Quantumquantum.systems 𝕏

Quantum, built by MultiVM Labs, develops post-quantum blockchain infrastructure including a post-quantum-by-default Layer 1 chain, a multichain PQ smart wallet layer for existing EVM chains, and a bridge (Entanglement) that enforces post-quantum authorization.

Crypto & Web3CybersecurityQuantum Computing

Co-investorsSpeciale Invest

Redbellyredbelly.network in 𝕏

Redbelly Network is a blockchain platform that enables the tokenization and trading of compliant on-chain structured products for real-world assets.

Crypto & Web3Data & InfrastructureFintechSydney, AU

Vincent Gramoli(Founder & Chief Technology Officer)in Alan Burt(Executive Chairman)in

Co-investorsBlack Dragon Cogitent Ventures Dutch Crypto Investors

Subquery Data Indexing Protocolsubquery.network in 𝕏

SubQuery provides Web3 infrastructure and tooling that enables developers to build and scale decentralized applications.

Crypto & Web3Data & InfrastructureDeveloper ToolsSingapore, SG

Ian He(CTO and Co-Founder)in

Co-investorsArrington Capital BitDAO D1 Ventures Digital Currency Group Digital Finance Group Ellipti +11 more

TACEOtaceo.io in 𝕏

TACEO builds a privacy layer for public blockchains, offering composable primitives for confidential stablecoin payments, private treasury and DeFi operations, identity verification without exposing user data, and confidential transactions for AI agent commerce.

Crypto & Web3CybersecurityDeveloper Tools

Co-investorsArchetype Polymorphic Capital

Telegramt.me 𝕏

Telegram is a cross-platform messaging application with encrypted, self-destructing messages, multi-device sync, and large group chats.

ConsumerMedia & EntertainmentSocial

Co-investorsAfford.Capital Alphabit Fund AngelONE Capital Arrington Capital BitDAO Capitânia Investimentos+46 more

Xswapxswap.linkMay 2024

XSwap is a cross-chain DeFi platform for swaps, bridging, token creation and payments built on Chainlink CCIP.

Co-investorsWWVentures Cogitent Ventures Maven Capital MH Ventures ZBS CAPITAL

Other

Tracked investments with no reachable website or further public details — typically companies that wound down, renamed, or were absorbed.

DerivioStratos Technologies

Exits · 2

2 acquisitions · showing 1

Armoryacq. by Harness

Portfolio news

latest coverage across their companies

OpenGradient launches privacy-first generative AI platform

OpenGradient · prnewswire.com · Jun 4, 2026

Austria's TACEO secures €4.8 million to scale “Private Shared State” - an innovation in how to collaborate on encrypted data | EU-Startups

TACEO · eu-startups.com · Jul 31, 2025

Frequently asked questions

How many investments has Pragma Ventures made?: Pragma Ventures has 24 tracked investments, 2 of which have exited.
What sectors does Pragma Ventures focus on?: Pragma Ventures focuses on AI & Machine Learning, Crypto & Web3, Data & Infrastructure, Deep Tech.
Where is Pragma Ventures located?: Pragma Ventures is headquartered in Seoul, KR.
Who does Pragma Ventures co-invest with?: Pragma Ventures most often shares deals with TPC Club (The presale club), TPC Ventures, Archetype, among 65 tracked co-investors.

Similar investors

Andreessen Horowitz

Andreessen Horowitz (a16z) is a venture capital firm founded in 2009 by Marc Andreessen and Ben Horowitz, known for pioneering the platform model with a large team of operators supporting founders across stages.

$500K – $50M

Bessemer Venture Partners

Bessemer Venture Partners is a global venture capital firm that partners with entrepreneurs across enterprise, consumer, and healthcare sectors from early stages through growth.

$5M – $100M

Foundation Capital

Foundation Capital is an early-stage venture capital firm that commits to founders at the idea stage and maintains long-term relationships with portfolio companies through their growth journey.

$250K – $15M

Khosla Ventures

Khosla Ventures is a venture capital firm that backs bold, early-stage, technology-driven companies across deep tech and other sectors, providing hands-on 'venture assistance' to help founders build category-defining businesses.

$5K – $50M

OMERS Ventures

OMERS Ventures is a venture capital firm that invests in founders globally, with investment teams based in New York, Palo Alto, and Toronto.

$5M – $25M

Featured in lists