Balazs Komuves
Research Engineer at Faulhorn Labs
Budapest, Central Hungary
Summary
👤
Senior🎓
Top SchoolBalazs Komuves is a research engineer and mathematician with 17 years of experience applying rigorous math to cryptography, quantitative analytics, and software engineering. Currently focused on ZKP cryptography at the Institute of Free Technology while consulting for Faulhorn Labs, he blends formal mathematical training (PhD-level) with hands-on cryptographic engineering. His background spans pure mathematics research at the Rényi Institute, quantitative analysis in finance, and practical systems work, giving him a rare ability to move ideas from theory to production. He brings deep expertise in types and compilers alongside a practical bent for building cryptographic primitives and protocols. Based in Budapest, he pairs academic rigor with pragmatic engineering to tackle hard problems in privacy-preserving systems. An atypical detail: his career weaves academic publications and quantitative trading research into applied crypto work, enabling novel approaches to performance and soundness trade-offs.
18 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD), Mathematics, Doctor of Philosophy (PhD), Mathematics at Central European UniversityMathematics, Mathematics at University of OxfordMaster of Science (MSc), Mathematics, Master of Science (MSc), Mathematics at Eötvös Loránd University
English, Hungarian, French
Github Skills (55)
idris10
jvm9
bignum9
dependent-types9
bigint9
java9
galois-field9
language-server-protocol9
elliptic-curve-cryptography9
toy-language9
language-server9
constant-time9
functional-programming-language9
durability9
compiler8
Programming languages (12)
Github contributions (5)
chpatrick/hmidi
Sep 2008 - Oct 2013
Contributions:29 commits in 5 years 1 month
keyboardspartialmidi-devicescommunicatemidi
bkomuves/slides
Jul 2021 - Dec 2025
Contributions:13 pushes, 1 branch in 4 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.