อนิล เนโรด (เกิดปี 1932) เป็นนักคณิตศาสตร์ ชาวอเมริกัน ผู้มีชื่อเสียงจากผลงานด้านตรรกศาสตร์ทางคณิตศาสตร์และการดำรงตำแหน่งศาสตราจารย์ที่มหาวิทยาลัยคอร์เนลล์เป็น เวลาหลายทศวรรษ

เขาได้รับการศึกษาระดับปริญญาตรีและปริญญาเอกด้านคณิตศาสตร์จากมหาวิทยาลัยชิคาโก โดยปริญญาเอกอยู่ภายใต้การดูแลของSaunders Mac Laneเขาเข้าเรียนที่ Hutchins College แห่งมหาวิทยาลัยชิคาโกในปี 1947 เมื่ออายุ 15 ปี และได้รับปริญญาเอกในปี 1956 วิทยานิพนธ์ปริญญาเอกของเขาเกี่ยวกับการกำหนดสูตรนามธรรมเชิงพีชคณิตของการแทนที่ ใน พีชคณิตอิสระหลายประเภทและความสัมพันธ์กับคำจำกัดความเชิงสมการของฟังก์ชันเวียนเกิดบางส่วน^{[ 1 ]}

ขณะเรียนอยู่ที่บัณฑิตวิทยาลัย ตั้งแต่ปี 1954 เขาทำงานที่สถาบันวิจัยอาวุธทางอากาศของ ศาสตราจารย์ Walter Bartky ซึ่งทำงานลับให้กับกองทัพอากาศสหรัฐฯ เขายังคงทำงานที่นั่นต่อหลังจากสำเร็จการศึกษาระดับปริญญาเอก ตั้งแต่ปี 1956 ถึง 1957 ในช่วงฤดูร้อนปี 1957 เขาเข้าร่วม สถาบันตรรกศาสตร์ฤดูร้อนปี 1957 ของ Cornell NSF ในปี 1958 ถึง 1959 เขาไปที่ สถาบันเพื่อการศึกษาขั้นสูงในพรินซ์ตัน รัฐนิวเจอร์ซีย์ ซึ่งเขาได้ทำงานร่วมกับKurt Gödelเขายังทำงานหลังจบการศึกษาที่มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์อีก ด้วย ^{[ 2 ]}

เมื่อปี 1959 เขาได้รับการเสนอตำแหน่งอาจารย์ที่มหาวิทยาลัยคอร์เนลล์ โดยไม่ได้ร้องขอ เขาตอบรับ ส่วนหนึ่งเป็นเพราะในการเยี่ยมชมวิทยาเขตครั้งก่อน เขาคิดว่า "มันเป็นสถานที่ที่สวยที่สุดเท่าที่ฉันเคยเห็นมา" ^{[ 2 ]}เนโรดเป็นศาสตราจารย์ผู้ทรงเกียรติสาขาศิลปศาสตร์และวิทยาศาสตร์ด้านคณิตศาสตร์ที่คอร์เนลล์^{[ 3 ]}ก่อนหน้านี้เขาดำรงตำแหน่งศาสตราจารย์โกลด์วิน สมิธ สาขาคณิตศาสตร์ที่คอร์เนลล์ โดยได้รับการแต่งตั้งให้ดำรงตำแหน่งนั้นในปี 1991 ^{[ 2 ]}ความสนใจของเขาคือตรรกศาสตร์ทางคณิตศาสตร์ทฤษฎีออโตมาตา ความ สามารถ ในการคำนวณและทฤษฎีความซับซ้อน แคลคูลัสของการแปรผันและระบบกระจายร่วมกับจอห์น ไมฮิลล์เนโรดได้พิสูจน์ทฤษฎีบทไมฮิลล์-เนโรดซึ่งระบุเงื่อนไขที่จำเป็นและเพียงพอสำหรับภาษาทางการที่จะเป็นภาษาปกติ^{[ 4 ] [ 5 ] [ 6 ]}ร่วมกับบาคาดีร์ คูสไซนอฟ เนโรดได้ก่อตั้งทฤษฎีโครงสร้างอัตโนมัติ ซึ่งเป็นการขยายทฤษฎีกลุ่มอัตโนมัติ

ปีการศึกษา 2019–20 ถือเป็นปีที่ 60 ของ Nerode ในฐานะอาจารย์ประจำที่ Cornell ซึ่งทางมหาวิทยาลัยกล่าวว่าเป็นวาระที่ยาวนานที่สุดเท่าที่เคยมีมา^{[ 2 ]} ในปี 2022 การประชุม Nerode-90 จัดขึ้นทางออนไลน์เพื่อเฉลิมฉลองผลงานของเขาในสาขานี้^{[ 7 ]}

Nerode เป็นสมาชิกคณะบรรณาธิการของวารสารAnnals of Mathematics and Artificial Intelligence [ ^{8 ]} Mathematical and Computer Modelling [ ^{9 ] Documenta} Mathematica ^{[ 10 ] และอื่น}ๆ

ในปี 2012 เขาได้รับตำแหน่งสมาชิกของสมาคมคณิตศาสตร์อเมริกัน^{[ 11 ]}

• โฮมเพจของอนิล เนโรด