Hizbullah Jabbar
Backend Developer II at Fazz
Greater Yogyakarta Indonesia
Summary
👤
Senior🎓
Top SchoolHizbullah Jabbar is a backend developer with a decade of experience building secure, production-grade services, currently focused on e-money and financial inclusion products at Fazz. He blends functional-programming sensibilities (self-described FP enjoyer) with a strong research background in formal verification—having contributed to the Tamarin prover and worked on language-based security and automated program verification at CISPA and the Max Planck Institute. His career spans practical backend work with Servant/PostgreSQL for e-learning, integrations with external services in industry, and ops experience early on, giving him a pragmatic full-stack backend perspective. Comfortable in Haskell and systems-level thinking, he brings rigorous correctness-minded approaches to real-world financial systems serving underbanked populations in Indonesia.
10 years of coding experience
6 years of employment as a software developer
Master’s Degree, Computer Science, 3.74 of 4.0, Master’s Degree, Computer Science, 3.74 of 4.0 at Universitas Gadjah Mada (UGM)Bachelor's degree, Telecommunications Engineering, 3.27 of 4.0, Bachelor's degree, Telecommunications Engineering, 3.27 of 4.0 at Institut Teknologi Bandung (ITB)Master's degree, Computer Science, Master's degree, Computer Science at Universität des Saarlandes
Indonesian, Arabic, English
Github Skills (29)
tamarin-prover10
security-protocol10
refinement-types9
python9
verification9
smt9
haskell8
tensorflow8
pytorch8
numpy7
machine-learning7
pulseaudio7
jax7
webcam7
xorg6
Programming languages (4)
Github contributions (5)
archbung/xmonad-config
Oct 2016 - Dec 2024
Contributions:52 pushes, 1 branch in 8 years 4 months
archbung/nvim
Sep 2016 - Jun 2023
Contributions:54 pushes, 1 branch in 6 years 9 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.