B Ankush Nayak is a Senior R&D Engineer at Synopsys with around four years of experience in the Electronic Design Automation (EDA) domain, specializing in formal verification. They have a strong background in C/C++ development, object-oriented programming, and have effectively bridged software development with hardware verification through their expertise in SystemVerilog HDL. They hold a Master of Technology in Software Systems from the Birla Institute of Technology and Science, Pilani, and previously earned a Bachelor of Engineering in Computer Science from NMAM Institute of Technology.
This person is not in the org chart
This person is not in any teams
This person is not in any offices