Eugen Horovitz

Title: The Innovations of Eugen Horovitz

Introduction

Eugen Horovitz is a notable inventor based in Givatayim, Israel. He has made significant contributions to the field of computer science, particularly in the area of interprocedural analysis. His innovative work has led to the development of a unique patent that enhances the efficiency of computer code analysis.

Latest Patents

Eugen Horovitz holds a patent for a "System and method for interprocedural analysis." This computer-implemented method involves obtaining computer code, abstracting it to create a set of instructions, and generating a constraint system that includes various constraints on the abstracted code. The method further entails obtaining solutions to the constraint system, which provide possible types for each entity, and creating a call graph based on these types. This patent showcases his expertise in developing advanced methodologies for software analysis.

Career Highlights

Eugen is currently employed at Whitesource Ltd., where he continues to innovate and contribute to the field of software development. His work at the company reflects his commitment to improving software quality and security through advanced analytical techniques.

Collaborations

Throughout his career, Eugen has collaborated with talented individuals such as Aharon Abadi and Bar Makovitzki. These partnerships have allowed him to enhance his projects and drive innovation within his field.

Conclusion

Eugen Horovitz is a distinguished inventor whose work in interprocedural analysis has made a significant impact on software development. His patent and ongoing contributions at Whitesource Ltd. highlight his dedication to advancing technology and improving software efficiency.