Haakan Younes is a Staff Software Engineer at Google with 25 years of experience bridging rigorous academic research and production-scale systems. A former CMU postdoc with a Ph.D. in Computer Science, he pioneered algorithms for probabilistic model checking and decision-theoretic planning under temporal uncertainty, grounding practical engineering in formal methods. At Google since 2006 he has advanced core infrastructure and C++ libraries—contributing notable fixes and modernizations to the widely used glog logging module, including C++0x support and ABI-tag handling. He excels at information extraction, probabilistic verification, and designing resilient decision-making systems that tolerate uncertainty. Based in Pittsburgh, he combines deep theoretical expertise with long-term hands-on product delivery and a knack for untangling subtle correctness and performance bugs.
25 years of coding experience
9 years of employment as a software developer
M.S. Computer Science and Technology, M.S. Computer Science and Technology at KTH Royal Institute of Technology
Ph.D. Computer Science, Ph.D. Computer Science at Carnegie Mellon University
Contributions:7 commits, 3 PRs, 2 comments in 8 years
Contributions summary:Haakan primarily contributed to improving the Google glog library, a C++ logging module. Their work involved adding support for C++0x features, particularly related to function demangling, and incorporating ABI tag support. They also addressed stack consumption issues and fixed bugs in the demangling logic and test suite. Furthermore, the user updated the build system by removing legacy files and upgrading configuration files.
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.