Immad Naseer

Experience

1. Principal Software Engineer

   Microsoft

   Oct 2011 — Present · Bellevue, WA, US

   Working on Microsoft\'s blockchain efforts as part of the Azure Blockchain team. I led the design and engineering efforts for supporting Corda as an integrated ledger in the Azure Blockchain Service. I also played a key part in developing the Logic App connector for Ethereum and Quorum ledgers as well as the design and implementation of a high throughput Ethereum ingress component.I\'m a strong believer in leveraging automated testing tools and model checking to tame the combinatorial complexity of highly concurrent software and evangelized and led the adoption of Coyote/P# in several of Blockchain team\'s components.Worked on various aspects of a distributed database with strong consistency guarantees.Led a team of 10+ developers in porting a distributed storage and compute system to run in shared environmentsI\'ve also worked on the following areas at various points in the past- Bing Web Index generation - Knowledge Graph index generation and real time graph searching -\"Timeline\" generation (extracting pivotal events from a person\'s wikipedia page for display on SERP)

Education

• National University of Computer and Emerging Sciences

  B.S, Computer science

  2001 — 2005

• The University of British Columbia

  M.Sc, Computer science

  2006 — 2009

Skills

• Aop
• C++
• C#
• .net
• Oop
• Java
• Windows
• Databases
• Algorithms
• Software Engineering
• Mysql
• Assembly Language
• Xml
• Jvm
• Computer Science
• Design Research