Leadone Technology Team

Leadone is a group of experienced diverse technology professionals.

Andreas Holmes

CEO - Tech Entrepreneur and  Web Platform Creator.
  • ​Canada

    ​Experienced web entrepreneur, web platform and software creator.

  • Creative and Innovative thinker with expertise in business creation, business promotion, operations and expansion. 
  • Strategic and long term thinker with proven ability to create long term investments and businesses. 
  • Experienced in technical and practical  SEO
  • Software Architect and Designer and Web Software Platform Creator, with an eye for detail and an advanced understanding of user processes.
  • Successful business developer, experienced in Business Creation  and Development 
  • Corporate Management and Team Leader
  • Blockchain Privacy and quantum proof signatures. 
  • Cryptocurrency mining 
  • Linkedin

​Andre Knispel

​Haskell Engineer and Mathematician
  • ​Germany

Experienced with Functional Programming (Haskell, Idris) and Mathematics.

  • Has his Masters in Mathematics, his mathematical expertise includes graph theory, algebra and algebraic geometry which are at the heart of modern cryptography, plus category theory and type theory which form the theoretical foundations of functional programming.
  • Software developer with real time distributed systems experience.
  • Expert functional programming professional specializing in Haskell and Idris
  • He uses Coq together with Haskell to produce verified code that will never crash and is proven to satisfy its specification.
  • Experienced with Quantum computing. 
  • Experienced with blockchain privacy solutions and quantum proof signatures 
  • Expert problem solver and out of the box thinker that enjoys solving the difficult problems

Guidon Malamud

Haskell ​Software Development Engineer
  • Israel

Senior software developer specializing in Haskell and functional programming.

  • ​Experienced in design & implementation of real-time embedded software and large distributed systems.
  • Specializes in applying functional programming patterns to design & implement scalable, flexible and robust real-time distributed software solutions.
  • Senior Software Developer for an asynchronous real-time distributed system that detects and processes US bankruptcy filings for a large issuer of US credit cards (Synchrony Bank, 35M active cardholders).
  • Developed pilot’s GUI, in 68000 assembler, to launch an arsenal of missiles and bombs from a NATO jet fighter (security clearance: Secret).
  • Senior engineer that implemented a remote disaster recovery site that is maintained fully synchronized, at both the infrastructure and application level, to allow switch-over at any time with no loss of production critical data.
  • Linkedin

Michal Gajda

Lead One Senior Haskell Engineer and Researcher
  • ​Poland

​Senior software developer with computational science PhD. 

  • Architected data analytics pipelines in bioinformatics and financial industry.
  • Participated in rollouts of large systems in international organization, and for country wide B2B systems.
  • Expert Functional programmer specializing in Haskell with strong mathematical background .
  • Extensive experience with Agile/Lean processes, continuous integration, and devops in the cloud.
  • Open source projects used in production by third parties, Github
  • Experienced with TCP/UDP architecture, implemented cluster management system with boot management over UDP
  • Migrated to full devops set up and upgraded features for advanced fraud prevention for electronic payments systems.
  • Implemented DSL for market risk analytics in global banking.
  • Linkedin


Leadone has partnered with FPcomplete the leading Haskell engineering company. Fpcomplete has a 4 member blockchain specialist team who are working in conjunction with Leadone Haskell engineers.

Led by veterans and innovators from Microsoft, Intel, Google, and several PhD programs and prominent open-source projects, we operate innovation and engineering teams out of North America and Western Europe.

Our engineering and quality staff design and build devices with powerful new features ranging from data aggregation and understanding, to high-performance simulation, to online portals for practitioners and consumers/patients.

This exceptionally well-qualified group of engineers, mathematicians, computer scientists, and operators use latest-generation techniques such as multicore and distributed functional programming, distributed team management, and advanced cloud DevOps and containerization, to get you new IT capabilities with fast time-to-market and immediate high capacity.