Dor Garbash

Product Manager

Commercial

Bingsheng Zhang

Research Fellow

Academic Research

Kevin Hammond

Software Engineer

Engineering

Olga Hryniuk

Technical Writer

Sylvain Henry

Software Engineer

Engineering

Marcin Szamotulski

Software Engineering Lead

Engineering

Tim Harrison

Marketing & Communications Director

Communications

Eric Czuleger

Senior Content Editor

Marketing and Communications

Lars Brünjes

Education Director

Education

Prof Aggelos Kiayias

Chief scientist

Academic Research

Romain Pellerin

Chief Technology Officer

engineering

Luite Stegeman

Software Engineer

Engineering

Edsko de Vries

Software Engineer

Well-Typed

Brian McKenna

Product Manager

Operations

Anthony Quinn

Editor

Marketing and Communications

Philipp Kant

Formal Methods Director

Engineering