About Jasper
He/Him | PhD-Track student at UBC working on formal verification
Lists
{username} has no public lists
Timeline
{username} has no activity yet
He/Him | PhD-Track student at UBC working on formal verification
{username} has no public lists
{username} has no activity yet