Tomer Ganor תומר גנור
Trưởng nhóm kỹ thuật về kỹ thuật và nghiên cứu an ninh at Certora
Thông tin cơ bản
Tomer Ganor là Trưởng nhóm Kỹ thuật và Nghiên cứu An ninh tại Certora.
Kinh nghiệm làm việc
Nhân vật liên quan
James Wilcox
James Wilcox là người sáng lập Certora.
Mooly Sagiv
Mooly Sagiv là CEO của Certora và là một nhà khoa học máy tính người Israel nổi tiếng với công trình phân tích chương trình tĩnh. Ông cũng là trưởng khoa Hệ thống phần mềm tại Khoa Khoa học máy tính thuộc Đại học Tel Aviv.
Uri Kolodny
Uri Kolodny là Đồng sáng lập và Giám đốc điều hành của StarkWare, nơi ông đang nỗ lực để mở rộng quy mô chuỗi khối bằng cách sử dụng bằng chứng không kiến thức của STARK. Ông cũng từng là Cố vấn cho Certora, Đồng sáng lập và Giám đốc điều hành của Mondria Technologies Ltd., Doanh nhân tại nơi cư trú tại Greylock và ICV, đồng thời là Đồng sáng lập và Giám đốc điều hành của Timna. Uri có bằng Thạc sĩ của Trường Quản lý Sloan thuộc Học viện Công nghệ Massachusetts.
John Toman
John Toman hiện là Chuyên gia kỹ thuật cao cấp tại Certora.
Saurabh Sharma
Saurabh Sharma là Đối tác chung tại Jump Crypto, dẫn đầu về đầu tư cơ sở hạ tầng và tiền điện tử. Anh ấy là một nhà điều hành cũ, một nhà kinh doanh số lượng lớn, một người yêu thích rạp hát, Booth MBA và tốt nghiệp Cornell CS. Các lĩnh vực quan tâm bao gồm:- Chuỗi khối - Giao thức L1/L2, Cơ sở hạ tầng Web 3.0, Tài chính phi tập trung/mở, Khả năng mở rộng & khả năng tương tác, Công cụ dành cho nhà phát triển, Quản lý Digital Asset (Giao dịch, Tín dụng, Quản lý tài sản)- Cơ sở hạ tầng CNTT Native trên nền tảng đám mây - Quản lý dữ liệu, An ninh mạng, Ứng dụng thông minh hỗ trợ ML.
AliceAndBob
AliceAndBob là một nhân viên tại Certora, chuyên phụ trách các hoạt động tìm kiếm và xác minh.
