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

Affiliation:Harmony.one

Research interests:Programming Languages, Concurrent Programming, Program Analysis, Mining Software Repositories, Blockchain