Reynald Affeldt

Registered user since Sat 19 Nov 2016

Name:Reynald Affeldt
Country:Japan
Affiliation:National Institute of Advanced Industrial Science and Technology (AIST)

Contributions

CPP 2023 Committee Member in Program Committee within the CPP 2023-track
Semantics of Probabilistic Programs using S-Finite Kernels in Coq
Show activities from other conferences

POPL 2023-profile
View general profile