Himanshu Shivnani

Software Engineer

New Delhi, Delhi, India16 yrs 5 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Expert in Compiler Design and Static Analysis tools.
  • Proven track record in Game Development for international markets.
  • Strong leadership experience as Agile Scrum Master.
Stackforce AI infers this person is a Software Engineer specializing in Compiler Design and Game Development.

Contact

Skills

Core Skills

CompilersCompiler DesignQuantitative DevelopmentCompiler OptimizationGame DevelopmentStatic AnalysisProject Management

Other Skills

64-bit source code verificationAccountabilityAgile & Waterfall MethodologiesAgile MethodologiesAgile Project ManagementAgile Scrum MasterAlgorithmsBambooCC++C++11C99Change ManagementCompiler ConstructionConfluence

About

Overall experience revolves around - Currently working as a developer in verification tool Xcelium in Cadence as Principal Software Engineer in Compiler Design domain - Past experience includes - optimization and development in financial derivatives scheduling, pricing, Libor to RFR/OIS migration in quants library - slot machine games developer, involving developing features and porting game form one region to another - static analysis tool developer Skills - Compilers - FE, Language Processing, Static Analysis Tool - Game development - Slot games (casino games) - Langauge - C/C++/C++11 Overall rich experience in C/C++, C++11, Compiler Design, Data Structures and Algorithms, OOPS and OOAD, Linux/windows (visual studio debugging), System Design, Design Patterns, Agile Scrum Master and PMP - Along with Onsite experience (almost an year in Tokyo, Japan), customer handling/bridge engineer role, requirements gathering, designing, performing UAT, deployment, retrospection at customer side.

Experience

Cadence design systems

Principal Software Engineer

Dec 2021Present · 4 yrs 3 mos · Noida, Uttar Pradesh, India · Hybrid

  • Currently working as developer in Xcelium Verification Tool. Below are the development activities
  • involved in enhancement (system verilog language features development) in elaboration, code generation and simulation phases.
  • issue fixing of a system verilog code verification tool, in elaboration, code generation and simulation phases
  • code reviews
  • Technologies used are
  • Langauge - C, C++
  • OS - Linux
  • Domain - Compiler Design
CC++LinuxCompiler DesignSystem VerilogCompilers

Natwest group

Quant Strategist (Associate Vice President)

Jul 2019Dec 2021 · 2 yrs 5 mos · Gurgaon, India

  • Worked as Quantitative Developer, that involved enhancing, optimizing the quantitative library which is used to price and model the trades. Technologies used are C++,C++11/C++14, STL, Python, Windows OS, Confluence, SVN. I was involved in following
  • Major contributor in migration of Libor trades to OIS/RFR trades. Optimising the library performance by finding the bottleneck using the profiler and fixing them. This also includes automation of verification process, creating reusable python scripts. This whole task was quiet challenging and very important from milestone point of view.
  • adding support of working weekend dates for finding the next Good Business Day (GBD)
  • migration of trades from one to another representation
  • bugs fixing and optimization of known issues for trades in library
  • improving performance in calculation of present value of OIS trades
  • actively involved in expanding the team - interviewing new candidates
C++C++11PythonWindows OSConfluenceSVN+2

Aristocrat

2 roles

Senior Technical Lead

Jul 2018Jul 2019 · 1 yr

  • Following activities under my role
  • Games development which includes enhancing/modifying features of the game to Port game from one market to another. I have been developing games for markets like US, Macau, Singapore. Skills used are C++, C++11, design patterns, STL, Software designing
  • Understanding the games slot machines domain.
  • Core member of Code Review Panel.
  • Facilitating effective usage of static analysis tool in my business division. Static analysis tools being used are Coverity, Cppcheck.
  • Proposing and actively participating in automation activities, which could reduce developers' effort, increase productivity, avoid manual errors. CI/CD using bamboo tool.
  • Suggesting/Implementing any improvement in current software practices being followed. I have remodeled existing UT scenarios for better understanding and clarity.
  • Active role in taking interviews and training of new members
  • Mentoring and managing team members
  • RCA of issues reported
C++C++11Design PatternsSTLStatic AnalysisGame Development

Technical Lead

Oct 2016Jun 2018 · 1 yr 8 mos

  • Following activities under my role
  • Games development which includes enhancing/modifying features of the game to Port game from one market to another. I have been developing games for markets like US, Macau, Singapore.
  • Understanding the games slot machines domain.
  • Core member of Code Review Panel.
  • Facilitating effective usage of static analysis tool in my business division. Static analysis tools being used are Coverity, Cppcheck.
  • Creating/setting up Continuous Integration Tool (CIT) using Bamboo for automation of certain checks like compiling game, executing static analysis tool and other testing scenarios which can be automated.
  • Suggesting/Implementing any improvement in current software practices being followed. I have remodeled existing UT scenarios for better understanding and clarity.
  • Active role in taking interviews and training of new members joining our team.
C++C++11Static AnalysisBambooGame Development

Nec technologies india pvt. ltd

3 roles

Technical Lead

Promoted

Apr 2015Oct 2016 · 1 yr 6 mos

  • I had played the role of
  • Technical/Project Lead
  • Agile Scrum Master .
  • I had worked on Static Analysis Tool for almost 6 years (although i am still a part of it now). The in-house Static Analysis Tool is used within NEC and is equivalent (or better than) to static analysis tools like Coverity and tools like Valgrind .
  • My role in project involved from
  • Technical reviews involving Requirements/Design/Code reviews,
  • Scrum master role with team of 7 members.
  • Fixing the bugs,
  • Discussions in requirements and design with customer and team
  • Customer Interfacing/Communication and customer queries handling,
  • Defect analysis for release judgement, RCA, Deviation analysis and many more.
  • Project Quality Audits i.e. Project Compliance
  • Apart from above, I had also been Project Representative for CMMI L3 and L5 audits for NEC Technologies India Pvt Ltd.
Static AnalysisAgile Scrum MasterProject Management

Module Lead

Promoted

Aug 2011Mar 2015 · 3 yrs 7 mos

  • Involved in various activities in static analysis tool project - VARVEL.
  • Implementation of support of 64-bit source code verification
  • Implementation of support of C99 source code verification
  • Implementation of AutoStubber tool, which automatically removes the definition of standard library functions from the source code for fast verification/analysis.
  • Implementation of Light weight Checker (or 3rd party static analysis tools integration)
  • Bug-fixing.
  • Design discussions
  • Technical reviews.
  • Customer interaction and communication.
  • System testing
Static AnalysisC9964-bit source code verification

Member Technical Staff

Aug 2009Jul 2011 · 1 yr 11 mos

  • Projects done with domains Natural Language Processing and Source code Static Analysis
  • During the beginning of my career, I have worked in project like NLP - RTE(Recognizing Textual Entailment). Domain - Natural Language Processing. Role involves preparing the gazetteer, automated training module.
  • In Static analysis tool, I was mainly involved with Functional/Integration Testing, Bug-fixing and Tool Front-End refinements and back-up flow implementation of the tool.
Natural Language ProcessingStatic Analysis

Education

National Institute of Technology, Tiruchirappalli

Master of Computer Applications (MCA) — Computer Science

Jan 2006Jan 2009

Hansraj College - University of Delhi

BSc - Computer Science (General) — Computer Science

Jan 2003Jan 2006

Stackforce found 100+ more professionals with Compilers & Compiler Design

Explore similar profiles based on matching skills and experience