Senior Formal Methods Engineer
CurrentFormal specification and development of the Cardano ledger
Apr 2020 - Present
AeroLeads people directory · profile
Andre Knispel Email & Phone Number
Mathematician
at
Input Output (IOHK)
LinkedIn matched
✓ Verified August 2026
3 data sources
Profile completeness 100%
Current company
Role
Mathematician
Location
Berlin Metropolitan Area, Germany
Company size
Who is Andre Knispel? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Andre Knispel is listed as Mathematician at Input Output (IOHK), a with 186 employees, based in Berlin Metropolitan Area, Germany. AeroLeads shows a matched LinkedIn profile for Andre Knispel.
Andre Knispel previously worked as Senior Formal Methods Engineer at Input Output (Iohk) and Mathematician at Statebox. Andre Knispel holds Master'S Degree, Mathematics, Very Good from Humboldt University Of Berlin.
Company email context
Email format at Input Output (IOHK)
This section adds company-level context without repeating Andre Knispel's masked contact details.
Input Output (IOHK)
Review company-level records connected to Andre Knispel before choosing the right outreach path.
Profile bio
About Andre Knispel
Andre Knispel is a Mathematician at Input Output (IOHK). He possess expertise in category theory, agda, coq, c++, python and 6 more skills.
Listed skills include Category Theory, Agda, Coq, C++, and 7 others.
Current workplace
Andre Knispel's current company
Company context helps verify the profile and gives searchers a useful next step.
Input Output (Iohk)
3 roles
Andre Knispel work experience
A career timeline built from the work history available for this profile.
Mathematician
Statebox
- 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
May 2019 - Apr 2020
Haskell Engineer, Mathematician
Dolla (Cryptocurrency)
Verification of blockchain software in Haskell & Coq
Jun 2018 - Apr 2019
Team & coworkers
Colleagues at Input Output (IOHK)
Other employees you can reach at iohk.io. View company contacts for 186 employees →
CR
Craig R.
Colleague at Input Output (Iohk)Charlotte, North Carolina, United States
View →
LP
Liz Pope
Colleague at Input Output (Iohk)Denver, Colorado, United States
View →
KB
Kriss Baird
Colleague at Input Output (Iohk)United Kingdom
View →
SG
Sven Goebel
Colleague at Input Output (Iohk)Whistler, British Columbia, Canada
View →
BB
Brian Bush
Colleague at Input Output (Iohk)Boulder, Colorado, United States
View →
LA
Larry Adames
Colleague at Input Output (Iohk)Brooklyn, New York, United States
View →
EP
Erica Pew - Senior Event Manager
Colleague at Input Output (Iohk)London Area, United Kingdom
View →
SB
Sebastian Bach
Colleague at Input Output (Iohk)Gdańsk, Pomorskie, Poland
View →
TP
Tomas Peycere
Colleague at Input Output (Iohk)Greater Buenos Aires, Argentina
View →
VZ
Vassilis Zikas
Colleague at Input Output (Iohk)Edinburgh, Scotland, United Kingdom
View →
Craig R.
Colleague at Input Output (Iohk)Charlotte, North Carolina, United States
View →
LP
Liz Pope
Colleague at Input Output (Iohk)Denver, Colorado, United States
View →
KB
Kriss Baird
Colleague at Input Output (Iohk)United Kingdom
View →
SG
Sven Goebel
Colleague at Input Output (Iohk)Whistler, British Columbia, Canada
View →
BB
Brian Bush
Colleague at Input Output (Iohk)Boulder, Colorado, United States
View →
LA
Larry Adames
Colleague at Input Output (Iohk)Brooklyn, New York, United States
View →
EP
Erica Pew - Senior Event Manager
Colleague at Input Output (Iohk)London Area, United Kingdom
View →
SB
Sebastian Bach
Colleague at Input Output (Iohk)Gdańsk, Pomorskie, Poland
View →
TP
Tomas Peycere
Colleague at Input Output (Iohk)Greater Buenos Aires, Argentina
View →
VZ
Vassilis Zikas
Colleague at Input Output (Iohk)Edinburgh, Scotland, United Kingdom
View →
1 education record
Andre Knispel education
FAQ
Frequently asked questions about Andre Knispel
Quick answers generated from the profile data available on this page.
What company does Andre Knispel work for?
Andre Knispel works for Input Output (IOHK).
What is Andre Knispel's role at Input Output (IOHK)?
Andre Knispel is listed as Mathematician at Input Output (IOHK).
Where is Andre Knispel based?
Andre Knispel is based in Berlin Metropolitan Area, Germany while working with Input Output (IOHK).
What companies has Andre Knispel worked for?
Andre Knispel has worked for Input Output (Iohk), Statebox, and Dolla (Cryptocurrency).
Who are Andre Knispel's colleagues at Input Output (IOHK)?
Andre Knispel's colleagues at Input Output (IOHK) include Craig R., Liz Pope, Kriss Baird, Sven Goebel, and Brian Bush.
How can I contact Andre Knispel?
You can use AeroLeads to view verified contact signals for Andre Knispel at Input Output (IOHK), including work email, phone, and LinkedIn data when available.
What schools did Andre Knispel attend?
Andre Knispel holds Master'S Degree, Mathematics, Very Good from Humboldt University Of Berlin.
What skills is Andre Knispel known for?
Andre Knispel is listed with skills including Category Theory, Agda, Coq, C++, Python, C#, Haskell, and Type Theory.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Andre Knispel you were looking for.
View similar profiles