कुशराज मदनानी
Assistant Professor
khushraj @ iitg ⋅ ac ⋅ in
Research Interest:
<pre aria-label="Translated text: अनंत-अवस्था प्रणालियों का औपचारिक सत्यापन, समयबद्ध प्रणालियों के लिए ऑटोमेटा और तर्क, संगणना के औपचारिक तर्क और मॉडल, और नेटवर्क नियंत्रित साइबर भौतिक प्रणालियाँ" class="tw-data-text tw-text-large tw-ta" data-placeholder="Translation" data-ved="2ahUKEwj6o_jzo46OAxWRzzgGHc10LJcQ3ewLegQICRAU" dir="ltr" id="tw-target-text" style="text-align:left"> <span class="Y2IQFc" lang="hi">अनंत-अवस्था प्रणालियों का औपचारिक सत्यापन, समयबद्ध प्रणालियों के लिए ऑटोमेटा और तर्क, संगणना के औपचारिक तर्क और मॉडल, और नेटवर्क नियंत्रित साइबर भौतिक प्रणालियाँ</span></pre>
Personal Website | Vidwan Profile