Company Filing History:
Years Active: 2015-2019
Title: Innovations of Anders Starcke Henriksen
Introduction
Anders Starcke Henriksen is a notable inventor based in Oxford, GB. He has made significant contributions to the field of software engineering, particularly in the area of code analysis and metrics. With a total of 17 patents to his name, Henriksen has established himself as a leading figure in his domain.
Latest Patents
Henriksen's latest patents include innovative methods and systems for aggregating source code metric values. One of his key inventions involves obtaining data that represents a directed graph, where nodes are associated with metric instances. Each metric instance identifies a location in a source code base and has a respective metric value, identifier, and attribute type. This method allows for the computation of an attribute value for a node based on its associated metric instances.
Another significant patent is focused on scalable transitive violation matching. This method aims to reduce storage needs and perform static analysis on coding violations across different revisions of a code base. The process begins with receiving a child snapshot of the code base and identifying a parent snapshot. Canonical representations for coding defects in both snapshots are computed, allowing for the determination of matching violations and unmatched defects.
Career Highlights
Henriksen is currently employed at Semmle Limited, where he continues to develop innovative solutions for code analysis. His work has had a profound impact on how software quality is assessed and improved.
Collaborations
Henriksen has collaborated with talented individuals such as Arthur Baars and Pavel Avgustinov. These partnerships have further enhanced the quality and scope of his inventions.
Conclusion
Anders Starcke Henriksen's contributions to software engineering through his patents demonstrate his expertise and innovative spirit. His work continues to influence the field and improve coding practices.