Prabhat Mishra
प्रभात मिश्रा कंप्यूटर और सूचना विज्ञान और इंजीनियरिंग विभाग में प्रोफेसर हैं और फ्लोरिडा विश्वविद्यालय में यू. एफ. रिसर्च फाउंडेशन के प्रोफेसर हैं। प्रो. मिश्रा के शोध हित हार्डवेयर सुरक्षा, क्वांटम कंप्यूटिंग, एम्बेडेड सिस्टम, सिस्टम-ऑन-चिप सत्यापन, औपचारिक सत्यापन और मशीन लर्निंग में हैं। भारत में जन्मे और पले-बढ़े मिश्रा ने 2004 में इरविन में कैलिफोर्निया विश्वविद्यालय से कंप्यूटर विज्ञान में पीएचडी प्राप्त की। उन्होंने बी. ई. की उपाधि प्राप्त की। 1994 में जादवपुर विश्वविद्यालय, भारत से कंप्यूटर विज्ञान में, और M.Tech। 1995 में भारतीय प्रौद्योगिकी संस्थान, खड़गपुर, भारत से कंप्यूटर विज्ञान में। 2004 में वे फ्लोरिडा विश्वविद्यालय में सहायक प्रोफेसर के रूप में शामिल हुए। 2010 में उन्हें एसोसिएट प्रोफेसर के रूप में पदोन्नत किया गया और 2016 तक वे उसी संस्थान में प्रोफेसर बन गए। वह वर्तमान में अपने परिवार के साथ गेन्सविले, फ्लोरिडा में रहते हैं। उनके शोध को कई अंतर्राष्ट्रीय सम्मेलनों में सर्वश्रेष्ठ पेपर पुरस्कार और सर्वश्रेष्ठ पेपर पुरस्कार नामांकन द्वारा मान्यता दी गई है। डॉ. मिश्रा वर्तमान में वी. एल. एस. आई. प्रणालियों पर आई. ई. ई. ई. लेनदेन और एंबेडेड कम्प्यूटिंग प्रणालियों पर ए. सी. एम. लेनदेन के सहयोगी संपादक के रूप में कार्य करते हैं। 2015 में, उन्हें एक एसीएम विशिष्ट वैज्ञानिक के रूप में चुना गया था। सिस्टम-ऑन-चिप सत्यापन और एम्बेडेड सिस्टम के डिजाइन स्वचालन में योगदान के लिए उन्हें 2021 में इंस्टीट्यूट ऑफ इलेक्ट्रिकल एंड इलेक्ट्रॉनिक्स इंजीनियर्स का फेलो नामित किया गया था। उन्हें 2023 में अमेरिकन एसोसिएशन फॉर द एडवांसमेंट ऑफ साइंस का फेलो चुना गया था। पुरस्कार एएएएस फेलो, अमेरिकन एसोसिएशन फॉर द एडवांसमेंट ऑफ साइंस, 2023। आई. ई. ई. ई. फेलो, इंस्टीट्यूट ऑफ इलेक्ट्रिकल एंड इलेक्ट्रॉनिक्स इंजीनियर्स, 2021। यू. एफ. रिसर्च फाउंडेशन प्रोफेसर, फ्लोरिडा विश्वविद्यालय, 2020। आई. ई. टी. उत्कृष्ट संपादक पुरस्कार, इंजीनियरिंग और प्रौद्योगिकी संस्थान, 2019। आई. एस. क्यू. ई. डी. सर्वश्रेष्ठ पेपर पुरस्कार, गुणवत्ता इलेक्ट्रॉनिक डिजाइन पर अंतर्राष्ट्रीय संगोष्ठी, 2016। एसीएम विशिष्ट वैज्ञानिक, एसोसिएशन फॉर कम्प्यूटिंग मशीनरी, 2015। आई. बी. एम. संकाय पुरस्कार, 2015 वीएलएसआई डिजाइन सर्वश्रेष्ठ पेपर पुरस्कार, वीएलएसआई डिजाइन पर अंतर्राष्ट्रीय सम्मेलन, 2011। एन. एस. एफ. कैरियर पुरस्कार, यू. एस. नेशनल साइंस फाउंडेशन, 2008। ईडीएए उत्कृष्ट शोध प्रबंध पुरस्कार, यूरोपीय डिजाइन स्वचालन संघ, 2004। कोड्स + आई. एस. एस. एस. सर्वश्रेष्ठ पेपर पुरस्कार, कोडसाइन और सिस्टम संश्लेषण पर अंतर्राष्ट्रीय सम्मेलन, 2003। पुस्तकें नेटवर्क-ऑन-चिप सुरक्षा और गोपनीयता, स्प्रिंगर, 2021। सिस्टम-ऑन-चिप सुरक्षा सत्यापन और सत्यापन, स्प्रिंगर, 2019। पोस्ट-सिलिकॉन वैलिडेशन एंड डीबग, स्प्रिंगर, 2018। हार्डवेयर आई. पी. सुरक्षा और विश्वास, स्प्रिंगर, 2017। सिस्टम-लेवल वैलिडेशन, स्प्रिंगर, 2012। रियल-टाइम सिस्टम में गतिशील पुनर्संयोजन, स्प्रिंगर, 2012। प्रोसेसर विवरण भाषाएँ-अनुप्रयोग और कार्यप्रणाली, मॉर्गन कौफमैन, 2008। प्रोग्रामेबल एंबेडेड आर्किटेक्चरक कार्यात्मक सत्यापन, स्प्रिंगर, 2005। ।