|
Yaron Wolfsthal is the manager of the reliable systems technologies group in the IBM Haifa Research Lab. Since joining the Haifa research facility in 1991, Yaron has developed and managed efforts focusing on formal verification, verification tools, and test generation. He has helped define IBM Research verification strategy and led the technical relationship of IBM Research with the IBM Server Group. Between 2002 and 2004, Yaron played a lead role in the standardization of the IBM Haifa-developed Sugar language into Accellera PSL, the industry standard property specification language. Yaron is responsible for the development and deployment of IBM's assertion-based verification solutions, including RuleBase PE and FoCs, and his team supports engineers worldwide, both internally in IBM and among IBM clients and business partners.
Yaron has a Ph.D., M.Sc., and B.Sc. in computer science from the Technion – Israel Institute of Technology. He also has a master's degree in business administration from the Technion.
Before coming to IBM Haifa, Yaron worked at IBM research facilities in the United States, where among other efforts, he helped develop a distributed object-oriented programming environment, and a generalized interface allowing programmers of the environment to use external Fortran and C libraries through dynamic binding.
|
