उन्होंने नीरज कयाल एवं नितिन सक्सेना के साथ मिलकर ऐकेएस पराएमीलिटी टेस्ट का आविष्कार किया , जिसके लिए उन्हें उनके सहकर्ताओं के साथ संयुक्त रूप से वर्ष २००६ का प्रतिष्ठित गोडेल पुरस्कार मिला ।
Entity: नितिन सक्सेना — Type: /person