Siddharth Srivastava

About

I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from mod