Balazs Komuves
Research Engineer at Falkstenen AB
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.
17 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 (59)
bigint10
bignum10
durability10
elliptic-curve9
dependent-types9
jvm-bytecode9
circuit9
snarkjs9
stack-based9
digital-signature9
codex9
galois-field9
elliptic-curve-cryptography9
idris9
functional-programming9
Programming languages (10)
Github contributions (5)
chpatrick/hmidi
Sep 2008 - Oct 2013
Contributions:29 commits in 5 years 1 month
keyboardspartialmidi-devicescommunicatemidi
bkomuves/nanohs
Jan 2021 - Mar 2021
a self-hosting lambda calculus compiler
Contributions:1 review, 71 commits, 1 PR in 2 months
compilerhaskellprogramming-language
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.