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
{username} has no public lists
Timeline
{username} 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.
{username} has no public lists
{username} has no activity yet