Baber Rehman

Compiler Engineer at The University of Hong Kong

Hong Kong, China
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Baber Rehman is a compiler engineer and PhD researcher in computer science at The University of Hong Kong with nine years of industry and academic experience spanning compiler internals, programming languages, type systems, and cloud/platform engineering. He currently researches LLVM for security and optimization tradeoffs at Huawei HKRC while pursuing doctoral work under Dr. Bruno Oliveira focused on type systems, functional and object-oriented programming, and logic. Prior roles include senior software and DevOps engineering at CloudPlex and Platalytics where he built cloud automation, monitoring, and security templates using Go, Scala, and tooling like Chef, Ansible, Docker and AWS/Azure. He has teaching experience in computer organization and enterprise development, and a track record of bridging research-grade language theory with practical systems and security concerns. Notably, he combines deep PL research with hands-on cloud and DevOps expertise—making him fluent in both low-level compiler tradeoffs and large-scale deployment realities.
code10 years of coding experience
job3 years of employment as a software developer
bookBachelor’s Degree Computer Science, Bachelor’s Degree Computer Science at University of the Punjab
bookThe University of Hong Kong (HKU)
languagesEnglish, Urdu, Punjabi, hindko
github-logo-circle

Github Skills (8)

aws-sdk10
aws-sdk-go-v29
aws9
go8
terraform-provider8
terraform8
compiler3
eclipse-plugin2

Programming languages (8)

JavaC++CoqTeXSCSSGoHTMLMLIR

Github contributions (5)

github-logo-circle
Contributions:121 pushes, 1 branch in 5 years 5 months
baberrehman/disjoint-union

Apr 2020 - Jul 2021

Contributions:178 pushes, 3 branches in 1 year 3 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.
Request Free Trial