Ian Nieves
Software Engineer
worldwide, United States
Summary
🤩
RockstarIan Nieves is a Managing Partner in San Francisco who helps C‑suite executives, investors, and founders drive innovation strategy, patent strategy, and software R&D for high‑impact initiatives. He blends boardroom-level strategic thinking with hands‑on engineering—having consulted for Leslie Lamport/Microsoft Research and contributed bug fixes to the widely used tlaplus TLC model checker. His client roster spans Apple, Samsung, LEGO, eBay, PayPal and Microsoft, and he scales rapid delivery by tapping a deep US–Europe network of executives, computer scientists and engineers. A serial founder and product lead, he has a track record of turning prototypes into enterprise programs and translating technical trade‑offs into clear, actionable recommendations.
10 years of coding experience
Github Skills (10)
debugging10
specs210
javas10
spec10
debug10
model-checking10
specification10
java10
specs10
algorithms8
Programming languages (11)
Github contributions (5)
tlaplus/tlaplus
Apr 2017 - Aug 2017
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:37 commits, 17 pushes, 4 branches in 3 months
Contributions summary:Ian primarily focused on debugging and fixing errors within the TLC model checker. Their contributions involved identifying and correcting issues that led to incorrect output or failures in various error messages, addressing bugs related to state representation, configuration, and evaluation of expressions. They modified several Java files within the `tlatools` directory to ensure the accuracy and reliability of the model-checking process. The user also fixed a spelling error.
model-checkingmodel-checkermit-licensemodel-statechecker
inieves/web-kit
Feb 2018 - Feb 2018
Contributions:115 commits, 2 pushes in 14 days
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.