University of Glasgow
Tudor AchimCo-founder and CEO · HarmonicResearcher↗
Engineer · Researcher
Satnam Singh
HarmonicSoftware Engineer
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.
Career & education
Current roleHarmonicNov 2025-presentSoftware Engineer
HarmonicNov 2025-presentPreviously
GroqOct 2021-Jun 2025Fellow
GoogleFeb 2019-Sep 2021Software Engineer, AI
Meta2015-2017Software Engineer
Microsoft Research2006-2011Researcher
GroqOct 2021-Jun 2025GoogleFeb 2019-Sep 2021Meta2015-2017Microsoft Research2006-2011Education
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations7,730As of Oct 25, '26
citations-84Since last snapshot, Jul 3, '26
Updates 1
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 8, 2026 · Checked for accuracy and new information.
