Suggestions
Arshavir Ter-Gabrielyan
Ph.D. Candidate at ETH Zürich
Professional Background
Arshavir Ter-Gabrielyan is a distinguished final-year PhD candidate in Computer Science at ETH Zurich, one of the world's leading universities for science and technology. His research is rooted in applying cutting-edge scientific methods to solve real-world problems, with a keen focus on formal methods, software correctness, and automatic reasoning. Prior to his studies at ETH Zurich, Arshavir made significant contributions as a Research Scientist at Intel Corporation, where he harnessed machine learning techniques to optimize compiler functionalities. His endeavors at Intel also involved developing innovative tools aimed at automating power and performance debugging across various layers of the software stack, reflecting his deep understanding of both hardware and software interactions.
Arshavir's expertise uniquely positions him at the crossroads of automatic reasoning and software architecture. With a robust seven years of experience in artificial intelligence, he specializes in both precise reasoning methodologies—such as novel automatic verification and synthesis techniques utilizing SAT and SMT solvers—and deep learning applications, where he effectively leverages neural networks and decision trees for analyzing noisy and heavily unbalanced data, particularly within compiler heuristic tuning. His four-year tenure in computer architecture research has focused on the intricate design and implementation of compiler optimizations, fostering a collaborative synergy between hardware and software in the co-design methodology.
In addition to his technical prowess, Arshavir is passionate about leadership and team collaboration. With over a decade of leadership experience, he has dedicated himself to mentoring and coaching team members, overseeing the development of multiple software projects. His projects encompass a rich variety of domains, including integrated development environments (IDEs), developer tools, web applications, and performance benchmarks for concurrent systems. Moreover, Arshavir's diverse skill set also extends to hands-on hardware projects, such as the development of autonomous flying drones equipped with advanced navigation systems and high-precision measurement devices.
Education and Achievements
Arshavir holds two degrees from the prestigious Moscow Institute of Physics and Technology (MIPT), where he earned his Master's degree in Optimizing Compilers and CAD Systems, achieving the coveted "Red Diploma" award, a distinction granted for exceptional academic performance. Additionally, he completed his Bachelor's degree in Applied Physics and Mathematics at the same institution, showcasing a strong foundational understanding of the quantitative disciplines essential for advanced studies in computer science.
In pursuit of further knowledge, Arshavir attended the International Summer School Marktoberdorf, specializing in Dependable Software Systems Engineering, which enriched his understanding of robust software practices and methodologies.
Continuing his journey, Arshavir is now advancing toward his Doctor of Philosophy (Ph.D.) in Computer Science at ETH Zürich. His thesis work promises to contribute significantly to the fields of formal methods and software correctness, aligning with his passion for automating reasoning processes to enhance software reliability.
Notable Achievements
- Research Contributions: Arshavir is leading research that combines principles of automatic reasoning with software architecture, bridging gaps in software correctness that are pivotal for both academic exploration and industry applications.
- Leadership and Mentorship: His extensive leadership experiences underscore his commitment to fostering a collaborative environment. He has successfully guided numerous teams in the execution of complex software and hardware projects, ensuring that innovation thrives alongside pragmatic engineering solutions.
- Technical Diversification: His ability to bridge disparate domains, from AI and deep learning to practical computer architecture research, exemplifies a versatile skill set that drives successful outcomes in engineering projects.
- Hands-On Innovation: Arshavir co-founded TechnoWorks, showcasing his entrepreneurial spirit and commitment to leveraging technology to solve emerging challenges. His work at TechnoWorks has provided him with insights into the intersection of software development, business strategy, and innovation.
tags':['PhD candidate','Computer science','Artificial intelligence','Formal methods','Software engineering','Compiler optimization','Machine learning','Leadership','Mentorship','ETH Zurich','Intel Corporation','MIPT','Computer architecture','Research scientist','TechnoWorks'],
questions':['How did Arshavir Ter-Gabrielyan develop his expertise in artificial intelligence and deep learning?', 'What motivated Arshavir Ter-Gabrielyan to pursue a Ph.D. in Computer Science at ETH Zurich?', 'How has Arshavir Ter-Gabrielyan’s experience at Intel Corporation shaped his research in formal methods and software correctness?', 'In which ways has Arshavir Ter-Gabrielyan demonstrated his leadership skills in the tech industry?', 'What impact does Arshavir Ter-Gabrielyan hope to achieve through his research on automatic reasoning in software architecture?']
title
PublicPersonData
