APLAS 2024 (series) / Jacques Garrigue
Registered user since Tue 4 Jul 2017
Name:Jacques Garrigue
Country:Japan
Affiliation:Nagoya University
Personal website: http://www.math.nagoya-u.ac.jp/~garrigue/home.html
Research interests:Type inference, Programming language theory
Contributions
2024
APLAS
- Session Chair of Verification (remote) (part of Research Papers)
- Session Chair of Quantum (part of Research Papers)
- Session Chair of Session 2 (part of APLAS NIER)
- [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack
- Session Chair of Closing (part of Events)
- General Chair in Organizing Committee
- General Chair in Organizing Committee within the Research Papers-track
APLAS 2024-profile
View general profile
View general profile