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 (40)
tla10
translation10
converter10
verification10
security-protocol10
refinement-types9
ivy9
security9
abstraction9
smt9
haskell8
python8
deep-learning8
machine-learning8
pytorch8
Programming languages (3)
Github contributions (5)
archbung/xmonad-config
Oct 2016 - Dec 2024
Contributions:52 pushes, 1 branch in 8 years 4 months
archbung/pandoc
May 2020 - Jun 2024
Universal markup converter
Contributions:6 pushes in 4 years 1 month
markup-convertermarkupmarkdownconverter
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.