उन्होंने मणीन्द्र अग्रवाल और नीरज कयाल के साथ मिलकर ऐकेएस पराएमीलिटी टेस्ट प्रस्तावित किया , जिसके लिए उन्हें उनके सह लेखकों के साथ प्रतिष्ठित गोडेल पुरस्कार से भी सम्मानित किया गया ।
Entity: नीरज कयाल — Type: /person