米Jasper Design Automation、新たなCTOを発表

2006年5月25日、フォーマル検証ツールを手掛ける、米Jasper Design Automationは、「Rajeev Ranjan」氏が同社の新たなCTOに就任したことを発表した。

プレスリリース：http://www.jasper-da.com/press_releases/052506.htm（英文）

Rajeev Ranjan氏は、フォーマル検証におけるベテランのエンジニアで、2003年にJasperに入社後、同社のフォーマル検証ツール「JasperGold」の開発責任者として製品開発に従事。その後2005年からは、チーフ・アーキテクトとして次世代製品の開発に取り組んでいた。

Jasperに入社する2003年以前には、同じくフォーマル検証ツールを手掛ける、米Real Intent社のCTO及びエンジニアリングVPとして製品開発を指揮。さらにその前には、シノプシスのフォーマル検証ツール「Magellan」のプロトタイプの共同開発に参加していた事もあり、UCバークレーの博士号の他に機能検証に関する5つの特許を保有。フォーマル検証技術においては13年以上の経験を持つという。

※Jasper Design Automationの製品に関する詳細は、国内代理店サイバーテック社にお問い合わせ下さい。
http://www.cyber-tec.co.jp

※Jasper Design Automation
http://www.jasper-da.com