Welcome to My Home on the Web
I have moved.
is my new home, in case you are not automatically redirected.
Aloha !! My name is Sagar Chaki and I am currently doing my Ph.D. at the
Department of Computer Science
Carnegie Mellon University
. My department is part of the
School of Computer Science (SCS)
. My advisor is
Prof. Edmund Clarke
. I am a member of the
Model Checking Group
at CMU. I did my B. Tech. from the
Department of Computer Science and Engineering
Indian Institute of Technology, Kharagpur
Here is my resume in
This page will be frequently updated. So drop by for cool stuff !!
Thanks for visiting !!