ND

Nurit Dor

Formal Verification Researcher at Certora

Nurit Dor has held various positions in the technology field since 1997, starting with a Programmer and DBA role at Log-On. In 2002, they completed an Internship at Microsoft Research. Two years later, they joined IBM Research as a Research Staff Member in Haifa. In 2006, they became the Chief Scientist at Panaya. After seven years, they moved to KayHut as a Research Manager. Most recently, they have been working at Certora since 2019, first as the VP of Products and then as the Head of Product.

Nurit Dor completed their PhD in Computer Science from Tel Aviv University between 1999 and 2004.

Links

Previous companies


Org chart


Teams


Offices

This person is not in any offices


Certora

Certora provides unique technology for guaranteeing code correctness and security


Headquarters

Tel Aviv, Israel

Employees

51-200

Links