Satnam Singh has been added to the database.
Singh is a software engineer at Harmonic, where he applies machine learning and the Lean theorem prover to hardware verification.
His profile tracks previous work at Groq and Google, plus a longer career across programming languages, functional hardware design, FPGAs, and formal methods.