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

Posts

Saison
Defiance and Thatcher
Ross Anderson
Aloo Baingan
Cambridge Restaurants
Haggis with Neeps and Tatties
Abuse and Bullying: An Ad Hoc Personal Survival Guide
Cail Bruich
Aloo Gobi
Chicken Tikka Masala: Marks and Spencer vs. Waitrose Ready Meals
Atelier Crenn
Crispy Spicy Okra
Satnam's Chicken Curry
Celiac Disease
Chicken Tikka Masala
Lentil Dahl
The Fat Duck
Postcard From The Valley