Research and Academics

Research interests

• Formal verification.
• Stochastic game theory.

Academics

• Orient Day School, Calcutta (Secondary Education) and St. Xaviers College, Calcutta (Higher Secondary).
• B. Tech (Hons.) in Computer Science, Indian Institute of Technology (IIT), Kharagpur.
• Master in Science (M.S), in Computer Science, EECS, University of California, Berkeley.
• PhD Candidate, Computer Science, EECS, University of California, Berkeley.

Publications

• Publications.
• DBLP.
• Presentations.

Tools

• CHIC
• Wikitrust
• Alpaga

Back to Homepage