Company Filing History:
Years Active: 1999
Title: Michael A Aivazis: Innovator in Computer Source Code Quality
Introduction
Michael A Aivazis is a notable inventor based in Pasadena, CA. He has made significant contributions to the field of computer science, particularly in the area of software quality assurance. His innovative approach focuses on enhancing the reliability of computer source code through automated checks.
Latest Patents
Aivazis holds a patent for a "Method and system for automatically checking computer source code." This invention provides a systematic way to evaluate the quality of computer source code based on predefined rules that identify quality concerns. The method utilizes a parse tree to represent instructions for execution on a computer, allowing for efficient rule violation checks. Whenever a rule violation is detected, an error message is generated to describe the identified quality concern.
Career Highlights
Michael A Aivazis is associated with Parasoft Corporation, where he applies his expertise in software development and quality assurance. His work has been instrumental in advancing the tools and methodologies used to ensure high-quality software products.
Collaborations
Aivazis has collaborated with notable colleagues such as Adam K Kolawa and Wendell T Hicken. Their combined efforts have contributed to the development of innovative solutions in the software industry.
Conclusion
Michael A Aivazis stands out as a key figure in the realm of software quality assurance. His patent and contributions to Parasoft Corporation reflect his commitment to improving the standards of computer source code quality.