Ifaz Kabir
Rust Developer at CyberLucent
Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolIfaz Kabir is a Rust developer with 11 years of software engineering experience and a strong mathematical foundation from Waterloo and ongoing PhD studies in Computer Science. He has deep systems and backend expertise—shipping Go and C++ microservices, optimizing ML engines, and shrinking containerized binaries for cost and performance gains. At Zuva he was the sole developer on the ML team, bridging research and engineering to deliver production-ready classifiers and on-demand model loading. He contributes to language tooling and compiler optimization, notably improving the Flix language inliner for complex expression support and performance scoring. Comfortable across low-level languages (C, C++, OCaml, Lisp) and database systems, he is Red Hat certified and fluent in Linux operations. Colleagues describe him as both a pragmatic engineer and a thoughtful researcher who finds elegant, math-driven solutions to performance and systems design challenges.
11 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD (ongoing), Computer Science, Doctor of Philosophy - PhD (ongoing), Computer Science at University of AlbertaMaster of Mathematics - MMath, Computer Science, Master of Mathematics - MMath, Computer Science at University of Waterloo
Stackoverflow
134reputation
948reached
3answers
7questions
Github Skills (14)
flixel10
compiler-optimization10
scala10
language-design9
algorithms8
data-structures8
algorithm8
data-structure8
racket6
coq-tactic6
sqlite6
coq6
inequality6
induction6
Programming languages (13)
Github contributions (5)
flix/flix
May 2017 - Apr 2019
The Flix Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 commits, 3 PRs, 12 comments in 2 years
Contributions summary:Ifaz contributed significantly to the Flix Programming Language, specifically focusing on the inlining phase of the compiler. Their work included implementing and refining the inliner for `ApplyRef`, improving the scoring function, and adding support for `LetRec`, `Is`, and `Untag` expressions. They also incorporated time calculations for the inlining process and performed code cleanup. The user's commits showcase their expertise in compiler optimization and language design.
programming-languagefliximperativelogicjvm
ifazk/ocaml-scratch
Feb 2018 - Oct 2021
Contributions:15 commits, 13 pushes, 1 branch in 3 years 8 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.