Andre Knispel

Formal Methods Engineer at Input Output (IOHK)
  • Claim this Profile
Online Presence
Contact Information
us****@****om
(386) 825-5501
Location
DE
Skills

Topline Score

Bio

Generated by
Topline AI

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.
You need to have a working account to view this content. Click here to join now

Experience

  • Input Output (IOHK)
    • Singapore
    • Software Development
    • 300 - 400 Employee
    • Formal Methods Engineer
      • Apr 2020 - Present

      Formal specification and development of the Cardano ledger Formal specification and development of the Cardano ledger

  • Statebox
    • Netherlands
    • Software Development
    • 1 - 100 Employee
    • Mathematician
      • May 2019 - Apr 2020

      - Research in zkSnarks and Petri Nets - Development of idris-ct, a verified Idris library for category theory (also sometimes in Agda) - Research and development for Meta-Cedille, a dependent type theory with syntactic metaprogramming features - Research in zkSnarks and Petri Nets - Development of idris-ct, a verified Idris library for category theory (also sometimes in Agda) - Research and development for Meta-Cedille, a dependent type theory with syntactic metaprogramming features

  • Dolla (cryptocurrency)
    • Haskell Engineer, Mathematician
      • Jun 2018 - Apr 2019

      Verification of blockchain software in Haskell & Coq Verification of blockchain software in Haskell & Coq

Education

  • Humboldt University of Berlin
    Master's degree, Mathematics
    2012 - 2018

Community

You need to have a working account to view this content. Click here to join now