How many investments has Pragma Ventures made?

Pragma Ventures has 16 tracked investments.

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 56 tracked co-investors.

Pragma Ventures

Venture capital

Seoul · 5 people tracked

★ Follow + Add to CRM ⤳ Find an introduction

Find your way into Pragma Ventures

844 people in our graph share verified history with the Pragma Ventures team — schools, employers, funds. One of them is your warm intro.

Blair Garrouunlockedknows Myeongjae Jeon · together at Rice University (overlapped)

knows the team · via Arm

×3knows the team · via Seoul National University

×4knows the team · via University of British Columbia

×2knows the team · via Rice University

knows the team · via Korea Advanced Institute of Science and Technology

✨ 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.

Seoul, KR

Tracked investments

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 13 of 18 portfolio companies

Crypto & Web3 ×10Data & Infrastructure ×5Developer Tools ×4Fintech ×4Cybersecurity ×3Deep Tech ×3AI & Machine Learning ×2Consumer ×1

HQs:United States×2Australia×1United Kingdom×1Singapore×1

Investments · 18 tracked

founders shown can be your intro path

By year:2024 · 1 2022 · 12 dated

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-investorsBorderless Venture Figment Impossible Finance LongHash Ventures Raptor Group Balaji Srinivasan +1 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 +25 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 BaseTwo Caladan NxGen +10 more

D8Xd8x.exchange

Co-investorsBlock Consult

Derivioderivio.xyz

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

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 Reciprocal Ventures Brevan Howard Digital Castle Island Ventures

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 SevenX Ventures

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

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

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)inAlan Burt(Executive Chairman)in

Co-investorsBlack Dragon Cogitent Ventures

Stratos TechnologiesFeb 2022 · $5.7M

Ann Arbor, US

Thiago Olson(Executive Officer, Director)Craig Sprinkle(Executive Officer)Chris Bartenstein(Executive Officer, Director)

BoardMichael Coffmen(Director)Jason Townsend(Director)

Co-investorsCoinFund Formless Capital GoldenTree Asset Management GSR HG Ventures LedgerPrime +5 more

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 Ellipti Mantle Network +10 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-investorsAcquire Fi Afford.Capital Alphabit Fund AngelONE Capital Arrington Capital Asia GreenTech Fund+49 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

Portfolio news

latest coverage across their companies

What is BlackRock's BUIDL Fund on Avalanche AVAX?

Avalanche · cryptonews.net · Jul 13, 2026

Bitlayer Raises $5 Million in Community Funding, Bringing Total Funding to $30 Million

Bitlayer · ainvest.com · Aug 15, 2025

TACEO raises USD 5.5 mnl in seed funding round | The Paypers

TACEO · thepaypers.com · Aug 4, 2025

Salva Health, Sofya, and Kintsu Selected by Peer Startups to Receive Additional Grant Funding

Kintsu · newsandviews.vilcap.com · Apr 8, 2025

Frequently asked questions

How many investments has Pragma Ventures made?: Pragma Ventures has 16 tracked investments.
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 56 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

468 Capital

468 Capital is a technology investment firm with offices in Berlin and San Francisco that invests across multiple stages in software, AI, and internet companies. The firm focuses on thesis-driven investments in businesses with experienced founding teams.

G+D Ventures

G+D Ventures is a theme-driven early-stage venture capital investor backed by the Giesecke+Devrient Group and the European Investment Bank, focused on 'TrustTech' companies that promote and protect trust in digital ecosystems.

$216K – $2.2M

Featured in lists