|
Mr. Kennedy brings 20 years of experience in the design and implementation of large-scale, high-performance mission-critical distributed computing systems to Kestrel's engineering organization. The n-tier architecture of Kestrel's products are direct descendants of Mr. Kennedy's research on distributed persistent object systems which he began in the late 1980's and which, in additional to financial markets, have been applied to such diverse fields as rational drug design and large-scale real-time wargaming.
Mr. Kennedy's expertise also includes the fields of security and privacy (having served as architect for both the first B3-secure distributed operating system and as staff engineer for trusted systems at Sybase) and formal verification methods (which were utilized in his capacity as director of verification for the CPU core of the SCE PlayStation II and in the development of formal verification tools in conjunction with Siemens ZT). | 