Shant Hairapetian
About Shant Hairapetian
Shant Hairapetian is a Formal Verification Researcher at Sandia National Laboratories with a background in computer science and software engineering.
Current Position at Sandia National Laboratories
Shant Hairapetian is presently employed as a Formal Verification Researcher at Sandia National Laboratories. His tenure began in 2021, and he operates out of Livermore, California. His work focuses on formal verification methods, a critical area in ensuring the accuracy and reliability of computing systems. This role showcases his expertise in the intersection of software engineering and formal methods.
Graduate Research Intern at Sandia National Laboratories
Before his current role, Shant Hairapetian served as a Graduate Research Intern at Sandia National Laboratories starting in 2020. This position, located in Livermore, California, provided him with the opportunity to gain practical experience in formal verification while pursuing his graduate studies. His contributions during this period likely involved working on complex research projects integral to the laboratory's initiatives.
Software Engineer Experience at META+LAB
From 2014 to 2019, Shant Hairapetian worked as a Software Engineer at META+LAB. Over these five years, he developed and honed his software engineering skills, contributing to various software projects. This experience laid a solid foundation for his subsequent pursuits in the fields of computer science and information science.
Master's Degree from University of Oregon
Shant Hairapetian pursued a Master's degree in Computer and Information Sciences at the University of Oregon from 2019 to 2021. This advanced education equipped him with specialized knowledge and skills, enabling him to excel in formal verification and research roles. His time at the University of Oregon was instrumental in shaping his expertise in the field.
Bachelor's Degree from California State University, Northridge
Shant Hairapetian earned his Bachelor's degree in Computer Science from California State University, Northridge. He attended the university from 2013 to 2019, which allowed him to build a strong foundation in computer science principles. This educational background provided the essential knowledge and competencies that preceded his advanced studies and professional achievements.