Fips Wang
Software Engineer at FanDuel
Maryland, United States
Summary
🤩
Rockstar🎓
Top SchoolFips Wang is a software engineer with 11 years of hands-on experience across security, formal methods, and systems engineering, currently focused on numerical methods for pricing at FanDuel. He has a track record of applying rigorous formal verification, SMT-based inconsistency analysis, and compiler frontend work to defense and research problems at Apogee and DARPA-related projects. Prior roles at AWS, Trail of Bits, Raytheon, and Northrop Grumman reflect deep practical expertise in vulnerability research, symbolic execution, ML assurance, and large-scale invoicing systems. He blends research-oriented thinking (interactive oracle proofs, Aurora optimizations) with production delivery, and once described a stint as a “failed experiment” that likely taught rapid iteration and resilience. Based in Maryland, he also signals an interest in large open models (AIM-174B) and maintains an experimental, curiosity-driven approach to engineering.
11 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Mathematics and Computer Science, Bachelor's degree, Mathematics and Computer Science at University of Maryland
English, Chinese, sice, French, Shanghainese
Github Skills (53)
piet10
swap10
elliptic-curve10
osmosis10
cosmos10
cryptocurrency10
avalanche10
blockchain10
golang10
dex10
polynomials9
cosmos-sdk9
aptos9
tendermint9
privacy-enhancing-technologies9
Programming languages (4)
Github contributions (5)
pwang00/EasyCTF-2015-Writeups
Nov 2015 - Apr 2016
Contributions:23 commits, 22 pushes, 2 branches in 5 months
pwang00/pietcc
Apr 2023 - Jul 2024
Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
Contributions:16 PRs, 96 pushes, 10 branches in 1 year 3 months
llvmpietpiet-compilerpiet-mondrian
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.