About

Gaurav Saini is a skilled Software Engineer with over 8 years of relevant experience in the field. Currently, he is working as an Engineering Intern at Airtel, where he is involved in the Network Operations and Maintenance of GSM Networks project. Gaurav is a proactive and insightful individual with a passion for exploring new technologies and solving complex problems. In the past, Gaurav has worked as a Summer Research Intern at Uppsala University, where he collaborated with Professor Parosh Aziz Abudlla on Verification of Message Passing programs using SMT Solvers. During his tenure, he optimized several algorithms for automatic verification of message passing programs and implemented the resulting algorithms in a tool. He also applied the tool to several non-trivial case studies. Prior to this, Gaurav worked as a Software Engineer at Arista. Gaurav holds a Bachelor of Technology (B.Tech.) degree in Computer Science from the Indian Institute of Technology, Ropar. He has a strong tech stack that includes Ruby, Flask, Redis, Elastic Search, Kafka, Redux, RabbitMQ, Javascript, Python, and more. He is also experienced in Integration, QA, Frontend, and Web development. Gaurav is a quick learner and a team player who thrives in a collaborative environment. He possesses excellent communication skills and is always willing to go the extra mile to deliver high-quality work. With his strong technical expertise and problem-solving skills, Gaurav is a valuable asset to any organization.