About

Arun Singh is a highly skilled GPU Formal Verification Engineer at Samsung Semiconductor - Advanced Computing Lab with over 5 years of experience in Formal Verification, Digital VLSI Design, Pre silicon Verification, Computer Architecture, Verilog, CAD tools, C, Python, and Low power (UPF). He holds a Master's degree in Computer Engineering from Texas A&M University, where he developed a keen interest in Digital Design and Formal Verification. At present, Arun is responsible for ensuring the correctness and completeness of GPU designs through formal verification methodologies. He has a strong understanding of the latest industry trends and technologies and is always eager to learn and implement new techniques to improve the verification process. Before joining Samsung, Arun worked as a Product Validation Intern at Cadence Design Systems and as a Summer Research Intern at Nanyang Technological University. During his internships, he gained valuable experience in product validation and research, which helped him develop a solid foundation in the field of computer engineering. Arun's technical expertise and passion for innovation have enabled him to develop a strong skill set in Python and research. He has a proven track record of delivering high-quality results in a fast-paced and challenging environment. Overall, Arun is a dedicated and highly motivated engineer with a passion for digital design and formal verification. He strives to stay up-to-date with the latest industry trends and technologies and is always looking for new ways to improve his skills and knowledge.