Satnam Singh works on the application of functional prpgramming and formal methods to the design of digital circuits. He has worked at Google, Facebook, Microsoft and Xilinx and has held academic positions at the University of Glasgow and the University of Birmingham.
Satnam Singh has worked on topics including functional programming, hardware design, domain-specific languages including Lava, compilers, custom hardware acceleration with ASICs and FPGAs, accelerating machine learning algorithms, concurrency and parallelism, formal verification, configuration management, distributed systems, container orchestration, cloud computing and low level Android performance improvement. He has worked at Google, Facebook, Microsoft and Xilinx.
Satnam has also held academic positions at The University of Glasgow and The University of Birmingham as well as visiting and adjuct positions elsewhere (Imperial College London and the University of Washington).