Registered user since Fri 11 Sep 2015
Name: Ganesha Upadhyaya
Bio: I am currently a Research Engineer at Harmony.one, Mountain View, CA. I work on blockchain network, protocol, and smart contract verification. Previously, I was a Senior Staff Researcher at Futurewei Technologies (Huawei R&D), Champaign, IL, where I worked on researching and developing compiler, runtime, and frameworks for Huawei’s mobile, cloud, and IoT solutions. In addition, impactful software engineering research has always been my passion.
Country: United States
Personal website: http://web.cs.iastate.edu/~ganeshau/
Research interests: Programming Languages, Concurrent Programming, Program Analysis, Mining Software Repositories, Blockchain