Jan Oravec
Software Engineer at Facebook
Menlo Park, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJan Oravec is a seasoned software engineer with 15 years of experience, currently based in Menlo Park and long-tenured at Facebook since 2009. He brings deep systems-level expertise from significant contributions to HHVM, where he worked on IR building, stack management, exception handling, and function-call mechanics for a high-performance virtual machine. His background blends academic exposure at ETH Zurich, entrepreneurial leadership as a former CEO, and an MSc in Computer Science, giving him both practical product instincts and rigorous technical foundations. Known for tackling core runtime challenges, he excels at optimizing low-level components that materially improve execution and reliability at scale.
15 years of coding experience
7 years of employment as a software developer
MSc. Computer Science, MSc. Computer Science at Univerzita Komenského v Bratislave
Github Skills (4)
hacking10
compiler8
cprogramming-language7
c-language7
Programming languages (4)
Github contributions (5)
facebook/hhvm
Feb 2011 - Sep 2022
A virtual machine for executing programs written in Hack.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1039 commits, 1 PR, 1 push in 11 years 8 months
Contributions summary:Jan was primarily involved in the maintenance and development of the HipHop Virtual Machine (HHVM), a virtual machine designed for executing Hack programs. Their contributions focused on implementing, modifying, and optimizing internal components of the machine, as evident from their work on IRBuilder and stack management. The user also made changes to exception handling and function calls within the core system, demonstrating a strong understanding of the virtual machine's inner workings.
hacklangphpvirtual-machineprogramshhvm
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.