avatar

Kaustuv Chaudhuri

@kaustuv@mastodon.social

Joined: 08/28/2018



About Kaustuv Chaudhuri

Research scientist at the French National Institute for Computer Science (Inria). Mainly do proof theory.

Lists

kaustuv has no public lists

Timeline

kaustuv has no activity yet