Satnam Singh

Registered user since Fri 5 Jan 2018

Name: Satnam Singh

Bio: Hacker currently working on formally verified hardware for security and privacy. Previous form in the areas of functional programming, domain-specific languages, compilers, custom hardware acceleration with FPGAs and ASICs, concurrency and parallelism, formal verification, configuration management, distributed systems, container orchestration, cloud computing and low level Android performance optimization. Ex-academic with experience of paper writing and obtaining research grants and a love of teaching. Professional duties include former ACM SIGPLAN executive committee member, IFIP WG2.8 and IFIP WG2.11 member and much experience of PCs and government grant award committees.

Country: United States

Affiliation: Google Research

Personal website: https://www.linkedin.com/in/satnam6502/

Research interests: Functional programming, hardware design, formal verification, cloud computing

Contributions

HASE 2020 Committee Member in Organizing Committee within the HASE 2020-track
Chair of Working Sessions II within the HASE 2020-track
PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
HIW 2019 Author of Haskell Use and Abuse at Scale within the HIW 2019-track
Haskell 2019 Keynote Speaker of Haskell Use and Abuse at Scale within the Haskell 2019-track
ICFP 2018 Author of SIGPLAN Awards within the Keynotes and Reports-track
PLDI 2018 Session Chair of SIGPLAN and SRC Awards (part of PLDI Invited Speakers)
POPL 2018 Awards Chair of SIGPLAN Awards within the Research Papers-track
FHPC 2016 Committee Member in Program Committee within the FHPC-track
POPL 2017 Session Chair of ACM and SIGPLAN Awards (part of POPL)
SPLASH 2017 SIGPLAN Awards Chair of SIGPLAN Awards within the Keynotes-track