プロフィール

数学者(工ルサレムのヘブライ大学で抽象集合論の博士号を取得)、計算機科学者(イスラ工ルのテク二オンのコンピュータ科学学部で10年以上教鞭を執っている)、そしてソフトウェア開発者(15年以上にわたり、大規模なハイテク企業での開発の仕事と、自ら経営するベンチャー企業でのコンサルタン卜の仕事を掛け持ちしている)である。はじめはCで仕事をしていたが、後にC++を使うようになった。オブジェクト指向に強い関心を持ち、正しく、保守しやすく、効率的拡ソフトウェアがどうすればできるかを常に追究している。実践的なNP困難問題を効率的に解決するためのヒューリスティック手法を考案するという素晴らしい業績を残しているが、彼本人は、何千人というイスラエル人ソフトウェアエンジニアを教育し、彼らに一定の影響を与えることができたととが自分の最大の業績だと考えている。

エッセイ

  1. コードの論理的検証