www.cs.cmu.edu Open in urlscan Pro
128.2.42.95  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Welcome to My Home on the Web








I have moved. Here 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 at 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 at the Indian Institute of
Technology, Kharagpur .



Here is my resume in Postscript, PDF, Microsoft Word, Text and HTML formats.


 

 * Academics
   

   
 * MAGIC
 * SPEAR
   

 * Personal
 * Contact Info


This page will be frequently updated. So drop by for cool stuff !!
Thanks for visiting !!