Vadim Zaliva
@vzaliva@mastodon.acm.org
Joined: 11/02/2023
About Vadim Zaliva
Postdoctoral Scholar, Tufts University. Interests: PL, formal methods.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@vzaliva@mastodon.acm.org
Joined: 11/02/2023
Postdoctoral Scholar, Tufts University. Interests: PL, formal methods.
{username} has no public lists
{username} has no activity yet