चंदन कर्फा
सह - आचार्य
91-361-2582375
ckarfa [at] iitg [dot] ac.in
अनुसंधान रुचि:
औपचारिक सत्यापन, उच्च स्तरीय संश्लेषण, इलेक्ट्रॉनिक डिजाइन स्वचालन, हार्डवेयर सुरक्षा, संकलक अनुकूलन का सत्यापन।
निजी वेबसाइट | विदवान प्रोफ़ाइल