ﾎｰﾑｺﾝﾀｸﾄ会社情報ｻｲﾄﾏｯﾌﾟ

Peter Feist 社長兼CEO 半導体、EDAスタートアップの上級執行役員としての豊富な実績 Peter Feist は OneSpin が画期的なフォーマル検証ソリューションを世界中に展開するビジネス全体を統括します。 彼は米国およびヨーロッパの半導体およびEDA業界で 25 年の経験を持ち、経営と戦略管理で優れた実績を残しています。 Feist はカリフォルニア州シリコンバレーにある OneSpin の米国支社より同社を主導します。 OneSpin に入社する前には、Feist は SIGMA-C （Synopsysにより買収）の CEO を務めていました。それ以前には、PACT XPP Technologies AG の社長兼 CEO、Chameleon Systems Inc.の社長兼 CEO、QuickLogic Corp.のワールドワイドマーケティング担当副社長、GateField Corp.のマーケティング担当上級副社長、Hyundai のデジタルメディア部門の子会社、Odeum Microsystems のヨーロッパ地域マネージャなどを務めました。 各企業においｔえ、彼のリーダーシップは革新と成長をもたらしました。 キャリア初期においては、ヨーロッパおよび米国の LSI Logic Corp. にて様々なエンジニアリング、マーケティングおよび管理職務を経験しています。 Peter Feist は、ドイツの University of Dortmund よりDipl. Ing. in Electrical Engineering （M.S.E.E.に相当）を取得しています。

Oliver Habeck CFO スタートアップから大規模な国際的企業まで、財務管理のエキスパート OneSpin Solutions の財務責任者である Oliver Habeck は、同社の財務、総務、人事、IT部門を管理しています。 彼は財務および管理部門で 10 年以上の経験を持ち、これにはハイテク産業での管理業務経験 8 年間も含まれています。 OneSpin の財務および管理担当役員となる以前には、 Habeck は NTT DoCoMo Laboratories Europe の経理担当役員を務めていました。 それ以前には、BroadVision および Gemplus のドイツ子会社にて、財務および経理担当管理職を務めています。 Habeck はドイツの University of Regensburg より MBA を取得しています。

Joerg Bormann Director Advanced Applications and Technology Joerg BormannはOneSpinの技術的ビジョンを定義し、技術ロードマップの設定と同社の画期的なフォーマル検証製品の開発を主導しています。ダイナミック検証およびフォーマル検証テクニックに18年の経験を持つ彼はOneSpinのCompleteness Checkerを発明し、GapFree Verification Processを開発するとともに、同社の旗艦製品である360MV製品を定義しました。 OneSpin入社以前、彼はSiemensおよびInfineonで様々な管理および実務を経験し、SAT、BDDならびにTheorem-proverベースのハードウェア検証技術、Combinatorial/Sequential等価性検証技術を担当しました。彼はASIC規模までの主要なフォーマル検証プロジェクトを主導し、彼のアイデアが高い信頼性をもってプロセッサ、プロセッサベースのSOCおよび通信SOCの回路開発を初回で成功させることができると証明しました。彼はSiemens AG Corporate Research Labsのアサーション チェックおよび等価性検証によるハードウェア検証ツール開発チームでキャリアをスタートしました。 彼はドイツのUniversity of Karlsruheより、電子工学に対する数学の応用で修士号を取得しています。

Dr. Raik Brinkmann Director Software Development OneSpin Solutionsの共同設立者であるDr. Raik Brinkmannは同社のソフトウェア研究開発を主導しています。彼は検証、R&Dおよび管理業務において10年以上の経験を持っています。Raikは2005年、Infineon TechnologiesからのOneSpinのスピンオフの計画および実施に大きな役割を果たしました。 以来、彼はOneSpinのソフトウェア開発チームを主導し、彼らの基本研究を最先端の、受賞歴のあるEDAツールへと作り上げることに成功しました。 OneSpin以前、RaikはミュンヘンのInfineon Technologiesのフォーマル検証グループにいました。それ以前にSiemensでは、彼は同社の米国およびドイツのCorporate Research Labs においてフォーマル検証の研究プロジェクトを主導していました。彼はSiemens Public Communication Networksのシステム検証グループでキャリアをスタートし、後にハードウェア エミュレーション、フォーマル検証およびSoC設計にフォーカスするようになりました。 Dr. BrinkmannはドイツのClausthal Technical UniversityよりDiplom Informatiker（コンピュータ工学修士号に相当）を取得し、University of Kaiserslautern電子工学部より Dr.-Ing.（工学博士に相当）を取得しています。

Dr. Michael Siegel Director Product Marketing Dr. Michael Siegelは同社のプロダクト マーケティング ディレクターとして製品ロードマップを定義し、プロダクト マーケティング活動を主導します。Dr. Siegelは機能検証、フォーマル検証において12年の経験を持ち、R&D、マーケティング、企業管理に幅広い経験を有しています。 OneSpin以前に彼はInfineonのDesign Automation DepartmentにおいてR&Dマネージャと"Organization and Process"のリーダーを務めていました。それ以前には、Siemens Corporate Technologyにおいて、フォーマル検証部門で様々な管理および技術業務を担当しました。さらに、彼はイスラエルのWeizmann Instituteにて、Turing Award受賞者でありフォーマル検証技術の開発で知られるProf. Amir Pnueliのグループで2001 – 2003までSenior Scientistとして働きました。Dr. SiegelはAccelleraにおいてプロパティ記述言語の定義を行う委員会のメンバーでした。 Dr. SiegelはドイツのKiel Universityよりコンピュータ工学の 'Summa Cum Laude' Ph.D. を取得しており、University of Erlangenより修士号を取得しています。彼はプロパティチェックと等価性チェックについて35の文献を書いています。