Satnam Singh

Work: ssingh@groq.com
Personal: satnam@raintown.org
Personal: satnam6502@gmail.com
Professional: s.singh@acm.org
Professional: s.singh@ieee.org
Bio: https://satnam.fpcastle.com/bio
Talks: https://satnam.fpcastle.com/talks


satnam6502
satnam6502
satnam6502
Google Scholar
ORCID-ID: 0000-0002-2017-4310
Researchr Profile

Personal website: raintown.org

Bio for Satnam Singh

Short

Satnam Singh is a Fellow at Groq where he applies the power of functional programming languages to the design of machine learning chips and their programming models. Satnam Singh previously worked at Google (machine learning chips, cluster management), Facebook (Android optimization), Microsoft (parallel and concurrent programming) and Xilinx (Lava DSL for hardware design). He started his career as an academic at the University of Glasgow (FPGA-based application acceleration and functional programming).

Medium

Satnam Singh is a Fellow at Groq where he applies the power of functional programming languages to the design of machine learning chips and their programming models. Satnam Singh previously worked at Google (machine learning chips, cluster management), Facebook (Android optimization), Microsoft (parallel and concurrent programming) and Xilinx (Lava DSL for hardware design, formal verification of hardware). He started his career as an academic at the University of Glasgow (FPGA-based application acceleration and functional programming).

His research interests include functional programming in Haskell, high level techniques for hardware design (Lava, Bluespec, DSLs in Haskell, Coq and C#), formal methods (SAT-solvers, model checkers, theorem provers), FPGAs, and concurrent and parallel programming.

Long

Satnam Singh is a Fellow at Groq where he applies the power of functional programming languages to the design of machine learning chips and their programming models. Satnam Singh previously worked at Google (machine learning chips, cluster management), Facebook (Android optimization), Microsoft (parallel and concurrent programming) and Xilinx (Lava DSL for hardware design, formal verification of hardware). He started his career as an academic at the University of Glasgow (FPGA-based application acceleration and functional programming, software-defined radio).

His research interests include functional programming in Haskell, high level techniques for hardware design (Lava, Bluespec, DSLs in Haskell, Coq and C#), formal methods (SAT-solvers, model checkers, theorem provers), formally verified hardware/software co-design, FPGAs, and concurrent and parallel programming.

He is a Senior Member of the ACM and IEEE and a Fellow of the IET. He is also an elected member of IFIP WG2.8 (functional programming) and IFIP WG2.11 (program generation). He previously served as an elected member of ACM SIGPLAN. He has held part-time or honorary positions at The University of Birmingham, Imperial College London, the University of Washington, and the University of Santa Cruz (UCSC).

Very Long

Employment

Employer Role and Location
2021 — present Fellow, Groq
Mountain View, California
2019 — 2021 Software Engineer, Google Research (formerly Google AI)
Mountain View, California, USA
Also Lecturer at UC Santa Cruz, Jack Baskin School of Engineering
2017 — 2019 Software Engineer, Google X
Mountain View, California, USA
2015 — 2017 Software Engineer, Facebook
Menlo Park, California, USA
2012 — 2015 Software Engineer, Google
Mountain View, California, USA
2006 — 2011 Researcher, Microsoft Research
Cambridge, UK
Also Professor of Reconfigurable Systems
University of Birmingham
Visiting Lecturer
Imperial College, London
2004 — 2006 Principal Architect, Microsoft
Redmond, Washington, USA
Also Affiliate faculty at EE University of Washington (2005)
1998 — 2004 Principal Engineer, Xilinx
San Jose, California, USA
1991 - 1997 Lecturer (Assistant Professor)
Dept. Electrical Engineering Department, then Computing Science Department
University of Glasgow, UK
Also Consultant, Requirements Reuse
British Telecom
London and Ipswich, UK (1992 - 1993)
Software Engineer (GUI development and Hardware Synthesis)
Compass Design Automation / VLSI Technology
Sophia Antipolis, France (1992)
1987 - 1987 Programmer (Unix, C)
European Silicon Structures
Bracknell, UK
1986 - 1986 Programmer (MS-DOS, Turbo Pascal)
Glasgow Dental Hospital, Glasgow, UK

Education

When What
1983 — 1987 BSc (Hons) Computing Science
University of Glasgow, UK
1987 — 1990 PhD Computing Science
University of Glasgow, UK