चंदन कर्फा
Associate Professor
91-361-2582375
ckarfa @ iitg ⋅ ac ⋅ in
Research Interest:
औपचारिक सत्यापन, उच्च स्तरीय संश्लेषण, इलेक्ट्रॉनिक डिजाइन स्वचालन, हार्डवेयर सुरक्षा, संकलक अनुकूलन का सत्यापन।
Personal Website | Vidwan Profile