Engineer · Researcher

Satnam Singh

SS

Software Engineer at Harmonic

Singh has spent his career making computer hardware easier to design and verify with high-level programming languages. His work connects functional programming, formally checked chip designs, and AI accelerators; at Harmonic, he uses the Lean proof system to verify hardware mathematically.

See something inaccurate or outdated?

Background

Current role

Software Engineer Nov 2025-present

Previously

Oct 2021-Jun 2025Fellow,

Feb 2019-Sep 2021Software Engineer,

2015-2017Software Engineer,

2006-2011Researcher, Microsoft Research

1998-2004Principal Engineer, Xilinx

1991-1997Lecturer, University of Glasgow

Education

University of Glasgow

About this data

Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.

Last editorial review: August 8, 2026

News 1

person_addedSatnam Singh added

Harmonic software engineer Satnam Singh has been added.

Citation Trend

1 snapshots

7,814citations as of Jul 3, '26

For today’s citation count and citations per paper, visit Google Scholar.