committee/

ACADEMIC SERVICE PROFILE

Jean-Baptiste Tristan

Published committee appointments, connected.

Service history

2 sourced records

This is an indexed history, not a complete CV. Affiliations reflect each source, not necessarily a current employer.

Source-scoped identity. Later appointments are linked only by corroborating source, institution, or profile evidence; matching names alone are not merged.

StandingObserved 2026-09-13
Dafny

POPL

Steering Committee Chair

Amazon Web Services

Series-level listing; appointment dates are not established.

Conference website โ†—Checked 2026-09-13
StandingObserved 2026-09-13
LAFI

POPL

Steering Committee LAFI

Amazon Web Services

Series-level listing; appointment dates are not established.

Conference website โ†—Checked 2026-09-13