Back to Organizations
Input Output
IOHK is a blockchain research and development company that builds cryptocurrencies and blockchains for academic institutions, governments, and corporations.
Distributed
Description
IOHK is a blockchain research and development company that builds cryptocurrencies and blockchains for academic institutions, governments, and corporations. The company was founded in 2015 by Charles Hoskinson, a co-founder of Ethereum, and Jeremy Wood, a former research scientist at Google. IOHK is headquartered in Hong Kong and has offices in Edinburgh, Tokyo, and New York.Technology & Skills
DATA COLLECTION
BLOCKCHAIN ECOSYSTEM
ZERO KNOWLEDGE
PARTNER SUCCESS
DEVELOPER COMMUNITY
SMART CONTRACT
BUSINESS DEVELOPMENT
PRIVACY INFRASTRUCTURE
L1 ECOSYSTEM
L2 ECOSYSTEM
ZERO KNOWLEDGE TECHNOLOGY
WALLET
DATA ANALYTICS
ZERO-KNOWLEDGE TECHNOLOGY
DAPP
DIGITAL IDENTITY
TEST AUTOMATION
CI/CD PIPELINE
SDLC
SECURITY TESTING
PERFORMANCE TESTING
CARDANO
UNIT TEST
TEST SCRIPT
MARLOWE
COMPUTER NETWORK
MODEL-BASED TEST
UI TEST
STRESS TEST
FAULT TOLERANCE TEST
PLUTUS
LIBRARY
PROPERTY TEST
TOOL
INTEGRATION TEST
TYPESCRIPT
API
END-TO-END TEST
RUST
CONSENSUS ALGORITHM
DISTRIBUTED SYSTEM
EDUCATION
FULL STACK
DECENTRALIZED APPLICATION
TUTORIAL
ZK PROOF
ZK-PROOF
PRIVACY
CONTENT CREATION
DEVELOPER RELATIONS
CRYPTOGRAPHY
COMMUNITY
DECENTRALIZED APPLICATION
PROJECT PLANNING
FINANCIAL MANAGEMENT
INVOICING
PROGRAM INCREMENT PLANNING
BUDGET PLANNING
PEOPLE MANAGEMENT
EVENT COORDINATION
CONTRACT MANAGEMENT
FUNCTIONAL PROGRAMMING
HASKELL
MODULARITY
TYPE FAMILY
DEPENDENT TYPE
GENERIC PROGRAMMING
TYPE-LEVEL PROGRAMMING
FREE MONAD
EVALUATION STRATEGY
LAZY EVALUATION
HEDGEHOG
HSPEC
TASTY
FOREIGN FUNCTION INTERFACE
SERIALIZATION
INCREMENTAL DEVELOPMENT
BENCHMARK
MEMOIZATION
GITHUB
CODE REVIEW
SOFTWARE ENGINEERING
PROFILING
QUICKCHECK
ROADMAP
METRICS
MARKET RESEARCH
GO-TO-MARKET STRATEGY
TOKENOMICS
CONSENSUS MECHANISM
COMPETITIVE ANALYSIS
MARKET INTELLIGENCE
GO TO MARKET STRATEGY
PRODUCT MARKETING
DECENTRALIZED IDENTIFIER
COMPETITIVE ANALYSIS
DECENTRALIZED FINANCE
COMMUNITY ENGAGEMENT
MESSAGING
OPENTELEMETRY
SRE
GOLANG
KUBERNETES
HELM
SOFTWARE DEVELOPMENT LIFE CYCLE
CONTINUOUS DEPLOYMENT
API TESTING
CONTINUOUS INTEGRATION
NPM
THREE.JS
NODE JS
JAMSTACK
THREEJS
WEBGL
RESPONSIVE LAYOUT
PROTOTYPE
CROSS-BROWSER COMPATIBILITY
REACT
TAILWIND CSS
PUBLICATION
DISTRIBUTED LEDGER TECHNOLOGY
POST-QUANTUM CRYPTOGRAPHY
VISUAL STORYTELLING
PROCESS
VIDEO
PLATFORM
TREND
HASHTAG
STORYTELLING
TRAVEL
OPERATIONAL PLANNING
MEETING
AI
EXECUTION
DECISION-MAKING
ZERO-KNOWLEDGE PROOFS
DIGITAL SIGNATURES
ZERO KNOWLEDGE PROOFS
PROTOCOLS
DEBUGGING
TCP/IP
TECHNICAL LEADERSHIP
TECHNICAL LEADERSHIP
SOFTWARE ARCHITECTURE
MENTORSHIP
VERIFICATION
THREAT ANALYSIS
SIMULATION
ANALYSIS
COMMUNICATION
BLOCKCHAIN
MODEL CHECKING
THEOREM PROVING
SPECIFICATION
FORMAL METHOD
LEAN4
SMT SOLVER
PROOF ASSISTANT
COMPILATION
SECURITY
GIT
PROBLEM SOLVING
PRESENTATION
ARCHITECTURE
PROGRAMMING LANGUAGE
PRODUCT DELIVERY
LEADERSHIP
STAKEHOLDER MANAGEMENT
PRODUCT DELIVERY
PRODUCT MANAGEMENT
SOFTWARE DEVELOPMENT
AGILE
USER RESEARCH
DOCUMENTATION
OPEN SOURCE
COLLABORATION
QUALITY ASSURANCE
AI AGENT
PROMPT ENGINEERING
CRITICAL-THINKING
LARGE LANGUAGE MODEL
MACHINE LEARNING
WORKFLOW
DATA ANALYSIS
STATISTICAL ANALYSIS
PYTHON
PANDAS
NUMPY
HUGGING FACE TRANSFORMER
SCIKIT-LEARN
PYTORCH
TENSORFLOW
RUNTIME
TESTING STRATEGY
STABLECOIN
TEST
DISTRIBUTED COMPUTATION
PAIR PROGRAMMING
REFACTORING
CONCURRENT COMPUTATION
ESTIMATION
TYPE SYSTEM
OBJECT-ORIENTED PROGRAMMING
PERFORMANCE
OPERATION
UI
PRIORITIZATION
CODE
ALGORITHM
CLIENT RELATIONS
DART
FLUTTER
FRONTEND
ADVISORY
INTELLECTUAL PROPERTY
LEGAL RESEARCH
AUDIT
FINANCIAL STRATEGY
TEAM MANAGEMENT
PERFORMANCE EVALUATION
TAX REGULATION
BANKING
NIX
*NIX
GRAFANA
PROGRAM MANAGEMENT
PERFORMANCE MEASUREMENT
THIRD-PARTY VENDOR
SENTRY
GITHUB ACTIONS
MOBILE INFRASTRUCTURE
DETOX
XCTEST
KNOWLEDGE MANAGEMENT
VIDEO CONTENT
ML
METADATA
TAGGING
POSTHOG
EMOTIONAL INTELLIGENCE
JUDGMENT
TIME ZONE
PRESSURE
ENERGY
CALENDAR
LOGISTICS
BOUNDARIES
CONFIDENTIALITY
REMOTE
PRODUCT
C++
INSIGHTS
ECOSYSTEM
FORMAL METHODS
AGDA
PERFORMANCE MODELING
EDITING
WRITING
COMMUNICATIONS
CD
TEST ENGINEERING
COMMUNITY-BUILDING
TECHNICAL SUPPORT
VENDOR MANAGEMENT
TRAVEL MANAGEMENT
QUANTITATIVE
DATA PROTECTION
QUALITATIVE
HIGH-PERFORMANCE SYSTEMS
UNIT TESTING
SOLUTIONS
TECHNICAL
DEVELOPMENT
SOLIDITY
APIS