Ivan Anishchuk

Researcher & Developer | Python/Rust, ZK-ML & Verifiable AI

About Me

I am a researcher and developer specializing in the intersection of Zero-Knowledge Cryptography and Machine Learning (ZK-ML). Between formal academic pursuits, I have built a 15+ year career in software development, culminating in senior and research-focused roles that are commensurate with the responsibilities of an advanced degree holder. My professional experience is underpinned by a rigorous academic foundation, and I am now completing a B.S. degree to formalize my extensive prior learning in preparation for graduate studies.

Research Interests

Zero-Knowledge Machine Learning (ZK-ML)
Verifiable Computation & ZK Virtual Machines (ZKVM)
Sum-Check Protocol and its Applications
Decentralized AI Systems & Incentive Design

Experience

Jan 2025 – Present Senior Subnet Engineer (SN27) Neural Internet DAO

Apr 2024 – Oct 2024 Junior Researcher (ZK Cryptography/ML) Inference Labs Inc.

Jul 2023 – Nov 2023 Senior Python Developer GlobalGiving

Apr 2015 – Sep 2022 Senior Backend Developer (bringing AI to Civil Aviation) Netquity Corporation

Further senior development experience dating to 2009 available upon request.

Education

Bachelor of Science in Computer Science (In Progress) University of the People, Pasadena, CA

Formalizing extensive prior learning (160+ transfer credits) in preparation for graduate-level studies.

Various professional certifications and memberships Google, IBM, ISC2, Meta, Amazon, ACM, IEEE, AMS, Linux Foundation, FEMA, etc.

Multiple certifications and professional association memberships.

Studies in Mathematics (4 of 5 years completed) Irkutsk State University, Irkutsk, Russia

Completed a rigorous, proof-based curriculum in theoretical mathematics with a specialization in Theory of Probability and Discrete Mathematics + extra Cryptography.