Elena Guralnik

Title: Innovations by Elena Guralnik

Introduction

Elena Guralnik is a notable inventor based in Haifa, Israel. She has made significant contributions to the field of computer science, particularly in the area of coverage analysis for SRT look-up tables. Her work has implications for improving the reliability and efficiency of computing systems.

Latest Patents

Elena holds 1 patent for her invention titled "Method and apparatus for coverage analysis of SRT look-up table." This computer-implemented method involves receiving a Sweeney-Robertson-Tocher (SRT) implementation and a look-up table (LUT) used by the SRT implementation. The method includes obtaining an assertion for the SRT, which is associated with at least one entry from the LUT. It verifies the assertion by executing a formal verification engine on the SRT implementation. If the assertion fails, the method provides a counterexample for a computation that accesses the entry. Conversely, if the assertion holds, the method determines that the entry is unreachable.

Career Highlights

Elena Guralnik is currently employed at International Business Machines Corporation (IBM), where she continues to innovate and contribute to advancements in technology. Her expertise in formal verification and computer science has positioned her as a valuable asset in her field.

Collaborations

Elena collaborates with Haim Kermany, working together to push the boundaries of technology and innovation.

Conclusion

Elena Guralnik's contributions to the field of computer science, particularly through her patent on SRT look-up table analysis, highlight her role as a leading inventor. Her work at IBM and collaborations with colleagues further emphasize her impact on technological advancements.