Alexandre Moine
@amoine@discuss.systems
Joined: 05/10/2025
About Alexandre Moine
Postdoc in PL at NYU - I'm proving things correct and efficient using separation logic.
Lists
amoine has no public lists
Timeline
amoine has no activity yet
@amoine@discuss.systems
Joined: 05/10/2025
Postdoc in PL at NYU - I'm proving things correct and efficient using separation logic.
amoine has no public lists
amoine has no activity yet