Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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
Research interests:Functional programming, hardware design, formal verification, cloud computing

Contributions

PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Panel Discussion: Research in Functional Programming
HIW 2019 Haskell Use and Abuse at Scale
Haskell 2019 Haskell Use and Abuse at Scale
Show activities from other conferences

ICFP 2019-profile
View general profile