<

Satnam Singh

Software Engineer at Google Research

Making hardware design and software programming the same thing.

Satnam Singh is a software engineer at Google Research working on techniques to produce high assurance hardware using formal techniques. Satnam has worked on a variety of projects relating to hardware design (tools and circuits at Xilinx and X), languages and compilers (at Microsoft), verification, devops (e.g. Kubernetes at Google), mobile (Android apps at Facebook), functional programming and parallelism and concurrency. Satnam has also worked as an academic (at the University of Glasgow and the University of Birmingham) researching techniques for accelerating algorithms with FPGA circuits. Satnam also has previous form at British Telecom, The University of Washington, European Silicon Structures and VLSI Technology.