Alexandre Moine
@amoine@discuss.systems
Joined: 10/05/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: 10/05/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