Sign In
Get Clay Free →

Suggestions

    Anna Varosyan

    Principal Software Engineer at HERE Technologies

    Professional Background

    Anna Varosyan is a highly skilled and accomplished software engineer with a rich background in developing automated environments and applications that enhance productivity and streamline business processes. With extensive experience in the tech industry, Anna has played pivotal roles in several organizations, most notably at HERE Technologies and Synopsys, where her contributions to software development and automation have significantly influenced operational efficiencies and product quality.

    Throughout her career, Anna has held the position of Principal Software Engineer at HERE Technologies, where her focus has been on Development Enablement & Strategy. Before moving into this role, she served as a Lead Software Engineer, concentrating on End-to-End (E2E) Automation. In these capacities, Anna has demonstrated her expertise in crafting innovative solutions that drive technological advancements within the organization.

    Previously, Anna made remarkable contributions during her tenure as R&D Manager at Synopsys, with a clear focus on E2E Verification, Reliability, and Productivity. This role allowed her to leverage her extensive knowledge of formal verification aspects and turn them into actionable insights for improved workflows.

    At Virage Logic, Anna held multiple roles starting from Senior Software Engineer to Research & Development Team Supervisor. Here, she specialized in QA Automation and Unit Verification, contributing to the company’s Yield Accelerator Tool Package. Under her guidance, multiple automated environments were developed which aimed not only to improve the quality of the products but also enhance usability for end-users.

    Education and Achievements

    Anna Varosyan's educational background is impressive, having attained her Doctor of Philosophy (Ph.D.) in Computer Science from Yerevan State University and her Doctor of Mathematics in Computer Science from the Institute for Informatics and Automation Problems of the National Academy of Science of the Republic of Armenia. She also holds a Master’s and Bachelor’s degree in Applied Mathematics and Informatics from Yerevan State University, which laid a strong foundation for her career in computer science and software engineering.

    Beyond her formal education, Anna has also contributed to the academic community as an Invited Lecturer at Yerevan State University, particularly at the IT Educational and Research Center. This role enabled her to share her extensive knowledge and experience with aspiring engineers and computer scientists, fostering the next generation of talent in the field.

    Technical Skills and Expertise

    Anna's technical expertise encompasses a multitude of programming languages such as TCL, C++, Visual Basic (VB), Java, VB Script, JavaScript, and SQL, showcasing her versatility as a developer. Moreover, she possesses profound knowledge in quality assurance methodologies, including both white-box and black-box testing, formal verification, integration testing, unit testing, usability testing, stress testing, and regression testing.

    Her proficiency in database design and implementation aligns with her background in relational and object-oriented database systems, demonstrating her ability to manage comprehensive software development tasks. Anna’s experience with robust development environments using Eclipse, Android Studio, and Microsoft .Net further supports her dynamic skill set.

    Anna has also worked across various platforms, including Windows NT/9x series architectures and Unix-like operating systems such as SunOS and Linux, facilitating her adaptability in diverse technological settings. Additionally, she possesses in-depth experience in version control systems including CVS, SVN, Source Safe, Git, and Gerrit, which are essential for modern software development practices.

    Notable Achievements

    One of Anna's key contributions includes the development of several banking, accounting, and trade applications, designed to automate complex business management processes. This initiative has streamlined workflows and resulted in notable efficiency improvements for the organizations she has worked with.

    Another noteworthy achievement is her development of an educational tool environment covering the basics of computer science, which has been implemented in schools to facilitate learning and engage students with practical applications of technology. Such contributions reflect Anna’s commitment not only to technological advancement but also to the education sector and community development.

    In her research efforts regarding the formal verification of workflow processes, Anna suggested and implemented an innovative algorithm for ITIL processes on the Armcluster grid. This demonstrates her ability to merge theoretical knowledge with practical application, a trait that is highly valuable in tech-related fields.

    Conclusion

    With a robust combination of software engineering experience, advanced academic credentials, and an impressive portfolio of achievements, Anna Varosyan stands out as a leader bridging the gap between technology and productivity. Her contributions to automated system development and business process enhancement have not only benefited her employers but have also positively influenced the educational sector and the local community. Anna continues to be a vital asset in the tech industry, driving innovation and education in computer science, and empowering the next generation of technology professionals.

    Related Questions

    How did Anna Varosyan develop her expertise in software quality assurance?
    What are some specific applications that Anna Varosyan has developed in the banking and finance sectors?
    In what ways has Anna's work in education impacted computer science learning in schools?
    How does Anna Varosyan approach the challenges of automating business management processes?
    What insights can Anna Varosyan share from her research on formal verification in workflow processes?
    Anna Varosyan
    Add to my network

    Location

    Berlin Area, Germany