Ravi Nanavati
Software Engineer at MatX
San Francisco Bay Area United States
Summary
🤩
Rockstar🎓
Top SchoolRavi Nanavati is a seasoned software engineer with 17 years of experience bridging research and industry, currently building at MatX in the San Francisco Bay Area. He combines deep expertise in functional programming, compiler and hardware design, and quantitative finance from roles at Google, X, Standard Chartered, and as an early Bluespec lead. Ravi’s open-source contributions include bug fixes and JIT/IR improvements to Google’s XLS hardware synthesis project and substantive back-end work on the Bluespec compiler, highlighting a knack for low-level correctness and performance. He excels at turning formal, research-grade ideas into practical tooling and production systems, and often operates where language design, synthesis, and verification meet real-world constraints. Colleagues describe him as a maker who prioritizes safe, expressive programming models—an engineer who thinks like a researcher but ships like an industry veteran.
17 years of coding experience
22 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Massachusetts Institute of Technology
Github Skills (22)
c-language10
type-check10
compiler-development10
interpreter10
intermediate-code10
data-structure10
compile10
data-structures10
compiler10
irr10
type-checking10
cprogramming-language10
jit10
testing9
algorithm9
Programming languages (6)
Github contributions (5)
B-Lang-org/bsc
May 2018 - Feb 2021
Bluespec Compiler (BSC)
Role in this project:
Back-end Developer
Back-end DeveloperContributions:82 reviews, 37 commits, 44 PRs in 2 years 9 months
Contributions summary:Ravi contributed to the Bluespec Compiler (BSC) by implementing and modifying core compiler features. Their work includes deriving instances for data structures, fixing bugs related to predicate reduction and type checking, and adding support for custom enum encodings. They also optimized code generation for derived Bits instances. The user's commits demonstrate a focus on improving the compiler's functionality and performance.
bluespeccompiler
google/xls
Mar 2021 - Feb 2022
XLS: Accelerated HW Synthesis
Role in this project:Backend Developer
Backend DeveloperContributions:1 review, 55 commits, 7 comments in 11 months
Contributions summary:Ravi's commits focused on improving the IR (Intermediate Representation) conversion process, specifically fixing issues in signed division operations. They modified the function builder and IR converter test files, alongside the IR converter itself, to address these bugs. Additionally, the user introduced a trace macro feature, which involved modifying the DSLX parser, interpreter, and related files to support adding traces during the code execution. They also added handling for array and tuple equality comparisons, and improvements to the JIT compilation process.
high-level-synthesisxlsacceleratedsynthesiscompiler
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.