Arvind Mithal (18 พฤษภาคม 1947 – 17 มิถุนายน 2024) หรือที่รู้จักกันในชื่อArvindเป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวอินเดีย ดำรงตำแหน่งศาสตราจารย์ Johnson ด้านวิทยาศาสตร์คอมพิวเตอร์และวิศวกรรมศาสตร์ในห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์และปัญญาประดิษฐ์ (CSAIL) ที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) เขาเป็น Fellow ของสถาบันวิศวกรรมไฟฟ้าและอิเล็กทรอนิกส์ (IEEE) และสมาคมเครื่องจักรคำนวณ (ACM) นอกจากนี้เขายังได้รับเลือกเป็นสมาชิกของสถาบันวิศวกรรมแห่งชาติในปี 2008 ^{[ 1 ]}จากผลงานด้าน การประมวลผล แบบ dataflowและmultithreadและการพัฒนาเครื่องมือสำหรับ การสังเคราะห์ ฮาร์ดแวร์อิเล็กทรอนิกส์ดิจิทัลระดับสูง

ความสนใจในการวิจัยของ Arvind รวมถึงการตรวจสอบอย่างเป็นทางการ ของ ระบบดิจิทัลขนาดใหญ่โดยใช้การกระทำอะตอมิก แบบมีการป้องกัน โมเดล หน่วยความจำและ โปรโตคอล ความสอดคล้องของแคชสำหรับ สถาปัตยกรรม การคำนวณแบบขนานและภาษาการเขียนโปรแกรม^{[ 2 ]}

งานที่ผ่านมามีบทบาทสำคัญในการพัฒนาสถาปัตยกรรมกระแสข้อมูล แบบไดนามิก ภาษาคู่ขนานสองภาษาIdและpHและการคอมไพล์ภาษาดังกล่าวบนเครื่องคู่ขนาน^{[ 2 ]}

ที่IIT Kanpurเขาได้รับปริญญาตรีวิทยาศาสตรบัณฑิต (B.Sc.) สาขาเทคโนโลยี (โดยเน้นด้านวิศวกรรมไฟฟ้า ) ในปี 1969 ในระหว่างนั้น เขาค้นพบว่าเขาสนใจคอมพิวเตอร์เป็นอย่างมาก จากนั้นที่มหาวิทยาลัยมินนิโซตาเขาได้รับปริญญาโทวิทยาศาสตรมหาบัณฑิต (M.Sc.) สาขาวิทยาการคอมพิวเตอร์ในปี 1972 และปริญญาดุษฎีบัณฑิต (Ph.D.) สาขาวิทยาการคอมพิวเตอร์ในปี 1973 ^{[ 3 ]}

Arvind ดำเนินการวิจัยวิทยานิพนธ์ของเขาในระบบปฏิบัติการเกี่ยวกับแบบจำลองทางคณิตศาสตร์ของพฤติกรรมโปรแกรม ที่มหาวิทยาลัยแคลิฟอร์เนีย เออร์ไวน์ซึ่งเขาได้สอนตั้งแต่ปี 1974 ถึง 1978 ^{[ 2 ]}เขาเริ่มสนใจสถาปัตยกรรมคอมพิวเตอร์และภาษาโปรแกรม^{[ 3 ]}

Arvind สอนที่วิทยาเขต Kanpur ของ IIT ในปี 1977 และ 1978 ^{[ 2 ]}ในปี 1978 เขาเข้าร่วมคณะของ MIT ^{[ 4 ]}เขาดำรงตำแหน่งเป็นหัวหน้าที่ปรึกษาด้านเทคนิคของโครงการระบบคอมพิวเตอร์ฐานความรู้ที่ได้รับการสนับสนุนจากสหประชาชาติในอินเดียตั้งแต่ปี 1986 ถึง 1992 ในช่วงปี 1992–93 เขาเป็นศาสตราจารย์ รับเชิญ Fujitsuที่มหาวิทยาลัยโตเกียว

ในปี 1992 Arvind และทีม CSAIL ของเขาได้ร่วมมือกับMotorolaในการสร้างเครื่องประมวลผลข้อมูล Monsoon และซอฟต์แวร์ที่เกี่ยวข้อง เครื่อง Monsoon จำนวน 12 เครื่องถูกติดตั้งที่ห้องปฏิบัติการแห่งชาติ Los Alamosและมหาวิทยาลัยอื่นๆ ก่อนที่ Monsoon จะถูกปลดระวางและนำไปจัดแสดงที่พิพิธภัณฑ์ประวัติศาสตร์คอมพิวเตอร์ในแคลิฟอร์เนีย ในปี 2000 Arvind ลาออกจากการสอนที่ MIT เป็นเวลาสองปีเพื่อก่อตั้ง Sandburst, Inc. ซึ่งเป็น บริษัท ผลิตเซมิคอนดักเตอร์แบบไร้โรงงาน เขาดำรงตำแหน่งประธานบริษัทจนกระทั่งกลับมาสอนที่ MIT ในปี 2002 ในปี 2006 Sandburst ถูกซื้อกิจการโดยBroadcom Corporation ^{[ 5 ]}

ในปี 2546 เขาได้ร่วมก่อตั้งBluespec , Inc. ซึ่งมีสำนักงานใหญ่อยู่ที่เมืองวอลแธม รัฐแมสซาชูเซตส์บริษัทนี้ผลิต ชุดเครื่องมือสังเคราะห์ ระบบอัตโนมัติการออกแบบอิเล็กทรอนิกส์ (EDA) ที่ได้รับการพิสูจน์แล้ว ^{[ 6 ]}อาร์วินด์ได้ร่วมพัฒนาภาษาโปรแกรมBluespec SystemVerilog (BSV) กับเลนนาร์ต ออกัสต์สัน ซึ่งเป็น ภาษาโปรแกรมเชิงฟังก์ชันระดับสูง สำหรับการอธิบายฮาร์ดแวร์ ซึ่งเป็น ภาษา Haskellเวอร์ชันที่ขยายเพื่อรองรับการออกแบบชิปและระบบอัตโนมัติการออกแบบอิเล็กทรอนิกส์^โดยทั่วไป^{[ 7 ] [ 8 ]}เขายังทำงานร่วมกับภาษาMinispec ที่เกี่ยวข้องกับ Bluespec อีกด้วย [ ^{9 ]}

เขาดำรงตำแหน่งประธานทั่วไปของการประชุมนานาชาติว่าด้วยซูเปอร์คอมพิวเตอร์ที่จัดขึ้นในเมืองเคมบริดจ์ รัฐแมสซาชูเซตส์ ในเดือนมิถุนายน พ.ศ. 2548 นอกจากนี้ เขายังดำรงตำแหน่งประธานคณะกรรมการตัดสินรางวัลอินโฟซิส สาขาวิศวกรรมและวิทยาการคอมพิวเตอร์ ตั้งแต่ปี พ.ศ. 2562 เป็นต้นไป^{[ 10 ]}

Arvind เป็นคนแรกที่ดำรงตำแหน่งประธาน N. Rama Rao ในภาควิชาวิทยาการคอมพิวเตอร์และวิศวกรรมศาสตร์ที่ IIT เขาดำรงตำแหน่งประธานตั้งแต่ปี 1998 ถึง 1999 นอกจากนี้ในช่วงเวลานั้นเขายังสอนเป็นเวลาสองสามสัปดาห์ในแต่ละภาคการศึกษาที่ภาควิชาวิทยาการคอมพิวเตอร์และวิศวกรรมศาสตร์ของ IIT Kanpur อีกด้วย^{[ 11 ]}

งานวิจัยในภายหลังของอาร์วินด์ใช้ระบบการเขียนคำศัพท์ใหม่ (TRS) สำหรับการกำหนดและอธิบายสถาปัตยกรรมและโปรโตคอลในระดับสูง กลุ่มโครงสร้างการคำนวณที่ MIT ซึ่งเขาเป็นหัวหน้า ใช้ TRS ในการออกแบบฮาร์ดแวร์ที่เร็วขึ้นและช่วยให้สามารถสำรวจการออกแบบได้มากขึ้น

อาร์วินด์เสียชีวิตเมื่อวันที่ 17 มิถุนายน พ.ศ. 2567 ขณะอายุ 77 ปี^{​​[ 9 ]}

อาร์วินด์ ร่วมกับ อาร์.เอส. นิคฮิล ตีพิมพ์หนังสือเรื่อง"การเขียนโปรแกรมแบบขนานโดยปริยายในภาษา pH"ในปี 2544 "pH" เป็นภาษาโปรแกรมที่พัฒนามาจากภาษา Haskellโดยมีคุณสมบัติพิเศษที่ช่วยสนับสนุนการประมวลผลแบบขนาน

บทความสำคัญและ/หรือบทความล่าสุดที่เขาเป็นผู้เขียนหรือร่วมเขียนและได้รับการตีพิมพ์ ได้แก่:

• James Hoe และ Arvind, "คำอธิบายและการสังเคราะห์ฮาร์ดแวร์ที่เน้นการทำงานเป็นศูนย์กลาง", IEEE TCAD, กันยายน 2004
• Hari Balakrishnan, Srinivas Devadas, Doug Ehlert และ Arvind, "การรับประกันอัตราและการป้องกันการโอเวอร์โหลดในสวิตช์แบบคิวอินพุต", IEEE Infocom, มีนาคม 2547
• Dan Rosenband และ Arvind, "การจัดตารางเวลาแบบโมดูลาร์ของการกระทำอะตอมิกที่มีการป้องกัน", DAC41, มิถุนายน 2547
• Arvind, RS Nikhil, Daniel Rosenband และ Nirav Dave, "การสังเคราะห์ระดับสูง: ส่วนประกอบสำคัญสำหรับการออกแบบ ASIC ที่ซับซ้อน", ICCAD'04, พฤศจิกายน 2004

นอกจากนี้ อาร์วินด์ยังดำรงตำแหน่งในคณะบรรณาธิการของวารสารหลายฉบับ รวมถึงวารสาร Journal of Parallel and Distributed Computingและวารสาร Journal of Functional Programmingด้วย

Arvind ได้รับรางวัลต่อไปนี้: รางวัล Charles Babbage จาก IEEE Computer Society (1994), รางวัลศิษย์เก่าดีเด่นจาก IIT Kanpur (1999), รางวัลศิษย์เก่าดีเด่นจากมหาวิทยาลัยมินนิโซตา (2001) ^{[ 12 ]}และรางวัลความสำเร็จอันโดดเด่นจากมหาวิทยาลัยมินนิโซตา (2008) ^{[ 13 ] [ 14 ]}

เขาได้รับเลือกเป็น IEEE Fellow ในปี 1994 และACM Fellowในปี 2006 ^{[ 15 ]}เขาได้รับเลือกให้เป็นNational Academy of Engineeringในปี 2008 และเป็นสมาชิกของ Computer Science and Artificial Intelligence Laboratory (CSAIL) ที่ MIT ^{[ 13 ]}