ห้องปฏิบัติการวิทยาการคอมพิวเตอร์และปัญญาประดิษฐ์ของ MIT

ห้องปฏิบัติการวิทยาการคอมพิวเตอร์และปัญญาประดิษฐ์ของ MIT

ชื่อเล่น	ซีเอสไอแอล
ที่จัดตั้งขึ้น	1 กรกฎาคม 2506 (ในชื่อโครงการ MAC) 1 กรกฎาคม 2546 (ในชื่อ CSAIL) ( 1963-07-01 )
สาขาการวิจัย	วิทยาการคอมพิวเตอร์
ผู้อำนวยการ	ดาเนียลา แอล. รัส
ที่ตั้ง	ศูนย์สเตตา ( อาคาร 32) 32 ถนนวาส ซาร์ เคมบริดจ์ รัฐ แมสซาชูเซตส์ 02139 สหรัฐอเมริกา
หน่วยงานปฏิบัติการ	สถาบันเทคโนโลยีแมสซาชูเซตส์
เว็บไซต์	csail.mit.edu​​

ห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์และปัญญาประดิษฐ์ ( CSAIL ) เป็นสถาบันวิจัยที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) ซึ่งก่อตั้งขึ้นจากการควบรวมห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์ (LCS) และห้องปฏิบัติการปัญญาประดิษฐ์ (AI Lab) ในปี 2546 โดยตั้งอยู่ในศูนย์ Ray and Maria Stataและเป็นห้องปฏิบัติการที่ใหญ่ที่สุดในวิทยาเขตเมื่อวัดจากขอบเขตการวิจัยและจำนวนสมาชิก ห้องปฏิบัติการนี้เป็นส่วนหนึ่งของวิทยาลัยคอมพิวเตอร์ Schwarzman ^{[ 1 ]}และยังอยู่ภายใต้การดูแลของรองอธิการบดีฝ่ายวิจัยของ MIT อีกด้วย^{[ 2 ]}

กิจกรรมการวิจัยของ CSAIL จัดขึ้นโดยแบ่งออกเป็นกลุ่มวิจัยกึ่งอิสระหลายกลุ่ม แต่ละกลุ่มมีศาสตราจารย์หรือนักวิทยาศาสตร์วิจัยอย่างน้อยหนึ่งคนเป็นหัวหน้า กลุ่มเหล่านี้แบ่งออกเป็นเจ็ดสาขาการวิจัยหลัก ได้แก่:

• ปัญญาประดิษฐ์
• ชีววิทยาเชิงคำนวณ
• กราฟิกและวิสัยทัศน์
• ภาษาและการเรียนรู้
• ทฤษฎีการคำนวณ
• หุ่นยนต์
• ระบบต่างๆ (รวมถึงสถาปัตยกรรมคอมพิวเตอร์ฐานข้อมูลระบบกระจาย ระบบเครือข่ายและระบบเครือข่ายระบบปฏิบัติการระเบียบวิธีเขียนโปรแกรม และวิศวกรรมซอฟต์แวร์เป็นต้น)

การวิจัยด้านการคำนวณที่ MIT เริ่มต้นด้วยการวิจัยของVannevar Bush เกี่ยวกับ เครื่องวิเคราะห์เชิงอนุพันธ์และพีชคณิตบูลีนอิเล็กทรอนิกส์ของClaude Shannonในช่วงทศวรรษ 1930 ห้องปฏิบัติการรังสี MIT ในช่วงสงคราม โครงการ Whirlwindหลังสงครามและห้องปฏิบัติการวิจัยอิเล็กทรอนิกส์ (RLE) และSAGEของห้องปฏิบัติการ MIT Lincolnในช่วงต้นทศวรรษ 1950 การวิจัยที่ MIT ในสาขาปัญญาประดิษฐ์เริ่มต้นขึ้นในช่วงปลายทศวรรษ 1950 ^{[ 3 ]}

เมื่อวันที่ 1 กรกฎาคม 1963 โครงการ MAC ได้เริ่มต้นขึ้นด้วยเงินทุนสนับสนุน 2 ล้านดอลลาร์สหรัฐจากสำนักงานโครงการวิจัยขั้นสูงด้านการป้องกันประเทศ (DARPA) ตามข้อมูลจากหอจดหมายเหตุของ MIT:

พวกเขาเลือกชื่อโครงการ MAC ในปี 1963 เพราะเป็นตัวย่อของวลีสำคัญหลายวลีที่อธิบายโครงการและเป้าหมายของโครงการ "Machine-Aided Cognition" คือวัตถุประสงค์กว้างๆ "Multiple-Access Computer" คือเครื่องมือหลัก "มนุษย์และคอมพิวเตอร์" คือพันธมิตรที่จำเป็นในความสัมพันธ์แบบพึ่งพาอาศัยกันที่คาดหวังไว้ ซึ่งเป็นคำที่ JCR Licklider ใช้ในบทความปี 1960 ของเขาที่มีชื่อว่า "Man-Computer Symbiosis" ^{[ 4 ]}

ผู้อำนวยการคนแรกของโครงการ MAC คือโรเบิร์ต ฟาโนจาก RLE ฟาโนเรียก MAC ว่า "โครงการ" แทนที่จะเป็น "ห้องปฏิบัติการ" ด้วยเหตุผลทางการเมืองภายในของ MIT – หาก MAC ถูกเรียกว่าห้องปฏิบัติการ จะทำให้การดึงตัวบุคลากรวิจัยจากแผนกอื่น ๆ ของ MIT ทำได้ยากขึ้น ผู้จัดการโครงการของ DARPA คือเจซีอาร์ ลิคไลเดอร์ซึ่งเคยทำงานที่ RLE มาก่อน และต่อมาได้สืบทอดตำแหน่งต่อจากฟาโนในฐานะผู้อำนวยการของโครงการ MAC

โครงการ MAC มีชื่อเสียงจากการวิจัยที่ก้าวล้ำในด้านระบบปฏิบัติการปัญญาประดิษฐ์และทฤษฎีการคำนวณ โครงการร่วมสมัยอื่นๆ ได้แก่โครงการ Genieที่เบิร์กลีย์ห้องปฏิบัติการปัญญาประดิษฐ์ของสแตนฟอร์ดและ(ในเวลาต่อมา) สถาบันวิทยาศาสตร์สารสนเทศ ของ มหาวิทยาลัยเซาท์เทิร์นแคลิฟอร์เนีย (USC )

กลุ่ม AI ซึ่งรวมถึงMarvin Minsky (ผู้อำนวยการ), John McCarthy (ผู้คิดค้นLisp ) และชุมชนโปรแกรมเมอร์คอมพิวเตอร์ ได้เข้าร่วมในโครงการ MAC พวกเขาสนใจปัญหาด้านการมองเห็น การเคลื่อนไหวเชิงกลและการจัดการ และภาษาเป็นหลัก ซึ่งพวกเขามองว่าเป็นกุญแจสำคัญสู่เครื่องจักรที่ฉลาดขึ้น ในช่วงทศวรรษ 1960 และ 1970 กลุ่ม AI ได้พัฒนาระบบปฏิบัติการแบบแบ่งเวลาที่เรียกว่าIncompatible Timesharing System (ITS) ซึ่งทำงานบนคอมพิวเตอร์PDP-6และต่อมาคือPDP-10 ^{[ 5 ]}

กลุ่มผู้ร่วมโครงการ MAC ในช่วงแรกประกอบด้วย Fano, Minsky, Licklider, Fernando J. Corbatóและกลุ่มโปรแกรมเมอร์และผู้ที่ชื่นชอบ คอมพิวเตอร์ รวมถึงบุคคลอื่นๆ ที่ได้รับแรงบันดาลใจจาก John McCarthy พวกเขามองเห็นภาพการสร้างระบบคอมพิวเตอร์อเนกประสงค์ ที่มีกำลังการประมวลผลที่เชื่อถือได้เทียบเท่ากับระบบไฟฟ้า เพื่อบรรลุเป้าหมายนี้ Corbató ได้นำ ระบบแบ่งเวลาการใช้งานคอมพิวเตอร์ระบบแรกCompatible Time-Sharing System (CTSS) มาจากศูนย์การคำนวณของ MIT โดยใช้เงินทุนจาก DARPA ในการซื้อเครื่องIBM 7094สำหรับการวิจัย

CTSS ได้รับการอธิบายไว้ในบทความเกี่ยวกับการแบ่งเวลาใน ฉบับพิเศษ ของScientific Americanปี 1966 ในหัวข้อ "ข้อมูล" ^{[ 6 ]}มี เทอร์มินัล TTY ประมาณ 100 เครื่อง ส่วนใหญ่อยู่ในวิทยาเขต แต่ก็มีบางส่วนอยู่ในบ้านส่วนตัว ผู้ใช้ประมาณ 30 คนสามารถล็อกอินได้พร้อมกัน โครงการนี้ได้ขอให้นักเรียนในชั้นเรียนต่างๆ ใช้เทอร์มินัลพร้อมกันในการแก้ปัญหา การจำลอง และการสื่อสารแบบหลายเทอร์มินัล เพื่อทดสอบซอฟต์แวร์การประมวลผลแบบเข้าถึงหลายเครื่องที่กำลังพัฒนา

หนึ่งในเป้าหมายหลักของโครงการ MAC ในช่วงแรกคือการพัฒนาMulticsซึ่งเป็น ระบบคอมพิวเตอร์ ที่มีความพร้อมใช้งานสูง ระบบแรก และเป็นสนามทดสอบสำหรับแนวคิดของเคอร์เนลด้านความปลอดภัยโดยเริ่มแรกนั้น Multics ถูกพัฒนาขึ้นโดยกลุ่มพันธมิตรในอุตสาหกรรม ซึ่งรวมถึงGeneral ElectricและBell Laboratoriesหลังจากที่ Bell ถอนตัวออกจากโครงการในปี 1969 และ GE ถอนตัวออกจากอุตสาหกรรมคอมพิวเตอร์ในปี 1970 โครงการ MAC ก็ยังคงพัฒนา Multics ต่อไปตลอดช่วงทศวรรษ 1970 โดยร่วมมือกับ Honeywell

ในช่วงปลายทศวรรษ 1960 กลุ่ม ปัญญาประดิษฐ์ ของมินสกี ต้องการพื้นที่เพิ่มขึ้น แต่ไม่ได้รับการตอบสนองที่น่าพอใจจากผู้อำนวยการโครงการอย่างลิคไลเดอร์ มินสกีพบว่าถึงแม้โครงการ MAC ในฐานะหน่วยงานเดียวจะไม่สามารถได้รับพื้นที่เพิ่มเติมที่เขาต้องการได้ แต่เขาสามารถแยกตัวออกมาจัดตั้งห้องปฏิบัติการของตนเองและมีสิทธิ์ได้รับพื้นที่สำนักงานมากขึ้นได้ ด้วยเหตุนี้ ห้องปฏิบัติการ AI ของ MIT จึงก่อตั้งขึ้นในปี 1970 และเพื่อนร่วมงานด้าน AI ของมินสกีหลายคนได้ออกจากโครงการ MAC เพื่อไปร่วมงานกับเขาในห้องปฏิบัติการใหม่ โปรแกรมเมอร์อย่างริชาร์ด สตอลล์แมนผู้ใช้TECOในการพัฒนาEMACSประสบความสำเร็จอย่างมากในห้องปฏิบัติการ AI ในช่วงเวลานั้น ห้องปฏิบัติการ AI ได้คิดค้นเครื่อง Lispซึ่งได้รับการทำการตลาดโดยSymbolicsและLisp Machines Inc.ในทศวรรษ 1980

โครงการ MAC ได้รับการเปลี่ยนชื่ออย่างเป็นทางการเป็นห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์ (LCS) ในปี พ.ศ. 2519 ^{[ 7 ]}ผู้เข้าร่วมยังคงทำการวิจัยเกี่ยวกับระบบปฏิบัติการภาษาโปรแกรมระบบกระจายเคอร์เนลความปลอดภัยและทฤษฎีการคำนวณต่อ ไป

ศาสตราจารย์สองท่านHal AbelsonและGerald Jay Sussmanได้ก่อตั้งกลุ่มย่อยขึ้นมา โดยวางตำแหน่งอยู่ระหว่างสองกลุ่มดังกล่าว กลุ่มนี้มีชื่ออย่างเป็นทางการว่า MIT Project on Mathematics and Computation (ซึ่งเป็นการสร้างคำย่อจากชื่อเดิมที่เลิกใช้ไปแล้วคือ "Project MAC") และได้รับฉายาเล่นๆ ว่า "สวิตเซอร์แลนด์" เนื่องจากมีความเป็นกลางอย่างชัดเจน^{[ 8 ]}

ในโอกาสครบรอบ 40 ปีของการก่อตั้งโครงการ MAC เมื่อวันที่ 1 กรกฎาคม พ.ศ. 2546 LCS ได้ควบรวมกับ AI Lab เพื่อก่อตั้ง MIT Computer Science and Artificial Intelligence Laboratory หรือ CSAIL การควบรวมนี้ทำให้เกิดห้องปฏิบัติการที่ใหญ่ที่สุด (บุคลากรมากกว่า 600 คน) ในวิทยาเขต MIT ^{[ 9 ]}

ในปี 2018 CSAIL ได้เริ่มโครงการความร่วมมือห้าปีกับIFlytekซึ่งเป็นบริษัทที่ถูกคว่ำบาตรในปีถัดมาเนื่องจากถูกกล่าวหาว่าใช้เทคโนโลยีเพื่อการสอดแนมและการละเมิดสิทธิมนุษยชนในซินเจียง [ ^{10 ] [ 11 ] [ 12 ] [ 13 ] ใน}เดือนตุลาคม 2019 MIT ประกาศว่าจะทบทวนความร่วมมือกับบริษัทที่ถูกคว่ำบาตร เช่น iFlyTek และSenseTime [ ^{14 ] [ 15 ] ใน เดือน}เมษายน 2020 ข้อตกลงกับ iFlyTek ถูกยกเลิก^{[ 16 ]}

CSAIL ย้ายจากคณะวิศวกรรมศาสตร์ไปยังวิทยาลัยคอมพิวเตอร์ Schwarzman ที่จัดตั้งขึ้นใหม่ ภายในเดือนกุมภาพันธ์ พ.ศ. 2563 ^{[ 1 ]}

ตั้งแต่ปี 1963 ถึงปี 2004 โครงการ MAC, LCS, ห้องปฏิบัติการ AI และ CSAIL มีสำนักงานอยู่ที่ 545 Technology Squareโดยค่อยๆ ขยายพื้นที่สำนักงานไปทีละชั้นตลอดหลายปีที่ผ่านมา จนกระทั่งในปี 2004 CSAIL ได้ย้ายไปยังศูนย์ Ray and Maria Stata Center แห่งใหม่ ซึ่งสร้างขึ้นโดยเฉพาะเพื่อรองรับหน่วยงานนี้และหน่วยงานอื่นๆ

กลุ่ม IMARA (มาจาก คำภาษา สวาฮิลีที่แปลว่า "พลัง") สนับสนุนโครงการเผยแพร่ความรู้หลากหลายรูปแบบที่ช่วยลดช่องว่างทางดิจิทัลทั่วโลกโดยมีเป้าหมายเพื่อค้นหาและนำโซลูชันที่ยั่งยืนในระยะยาวมาใช้ ซึ่งจะเพิ่มความพร้อมใช้งานของเทคโนโลยีและทรัพยากรทางการศึกษาให้กับชุมชนทั้งในประเทศและต่างประเทศ โครงการเหล่านี้ดำเนินการภายใต้การดูแลของ CSAIL และมีอาสาสมัครจาก MIT เป็นผู้ให้การฝึกอบรม ติดตั้ง และบริจาคชุดคอมพิวเตอร์ในบอสตัน รัฐแมสซาชูเซตส์เคนยาเขต สงวน ของชนเผ่าพื้นเมืองอเมริกัน ในภาคตะวันตกเฉียงใต้ของสหรัฐอเมริกาเช่นชนเผ่านาวาโฮ ตะวันออกกลางและหมู่เกาะฟิจิ โครงการ CommuniTech มุ่งมั่นที่จะเสริมสร้างศักยภาพให้กับชุมชนที่ด้อย โอกาสผ่านเทคโนโลยีและการศึกษาที่ยั่งยืน โดยดำเนินการผ่านโรงงานคอมพิวเตอร์มือสองของ MIT (UCF) ซึ่งจัดหาคอมพิวเตอร์ที่ได้รับการปรับปรุงใหม่ให้กับครอบครัวที่ด้อยโอกาส และผ่านชั้นเรียน Families Accessing Computer Technology (FACT) ซึ่งฝึกอบรมครอบครัวเหล่านั้นให้คุ้นเคยและสะดวกสบายกับการใช้เทคโนโลยีคอมพิวเตอร์^{[ 17 ] [ 18 ] [ 19 ]}

(รวมถึงสมาชิกและศิษย์เก่าของห้องปฏิบัติการที่เป็นต้นกำเนิดของ CSAIL)

• ผู้ได้รับทุนแมคอาร์เธอร์ ได้แก่ทิม เบอร์เนอร์ส-ลี , เอริก เดอเมน , ดินา คาตาบี , ดาเนียลา แอล. รัส , เรจินา บาร์ซิเลย์ , ปีเตอร์ ชอร์ , ริชาร์ด สตอลล์แมนและโจชัว เทเนนบอม
• ผู้ได้รับรางวัลทัวริง ได้แก่ Leonard M. Adleman , Fernando J. Corbató , Shafi Goldwasser , Butler W. Lampson , John McCarthy , Silvio Micali , Marvin Minsky , Ronald L. Rivest , Adi Shamir , Barbara LiskovและMichael Stonebraker
• ผู้ได้รับรางวัล IJCAI Computers and Thought Award ได้แก่Terry Winograd , Patrick Winston , David Marr , Gerald Jay SussmanและRodney Brooks
• รอล์ฟ เนวานลินนา ผู้รับรางวัลMadhu Sudan , Peter Shor , Constantinos Daskalakis
• ผู้ได้รับรางวัลเกอเดล ได้แก่ ชาฟี โกลด์วาสเซอร์ (ได้รับสองครั้ง), ซิลวิโอ มิคาลี , มอริซ เฮอร์ลิฮี , ชาร์ลส์ แร็กคอฟฟ์ , โยฮัน ฮาสตาด , ปีเตอร์ ชอร์และมาดู ซูดาน
• ผู้ได้รับรางวัล Grace Murray Hopper Award ได้แก่ Robert Metcalfe , Shafi Goldwasser , Guy L. Steele, Jr. , Richard StallmanและW. Daniel Hillis
• ผู้เขียนตำราเรียน ได้แก่Harold AbelsonและGerald Jay Sussman , Richard Stallman , Thomas H. Cormen , Charles E. Leiserson , Patrick Winston , Ronald L. Rivest , Barbara Liskov , John Guttag , Jerome H. Saltzer , Frans Kaashoek , Clifford SteinและNancy Lynch
• David D. Clarkอดีตหัวหน้าสถาปนิกโปรโตคอลของอินเทอร์เน็ต ผู้ร่วมเขียนกับJerome H. Saltzer (ซึ่งเป็นสมาชิก CSAIL ด้วย) และDavid P. Reedในบทความที่มีอิทธิพลเรื่อง " End-to-End Arguments in Systems Design" ^{[ 20 ]}
• เอริค กริมสันผู้เชี่ยวชาญด้านคอมพิวเตอร์วิชั่นและการประยุกต์ใช้ในทางการแพทย์ ได้รับการแต่งตั้งเป็นอธิการบดีของ MIT ในเดือนมีนาคม 2011
• บ็อบ แฟรงก์สตันผู้ร่วมพัฒนาVisiCalcซึ่งเป็นโปรแกรมสเปรดชีตคอมพิวเตอร์ตัวแรก
• เซย์มัวร์ พาเพิร์ตผู้คิดค้นภาษาโปรแกรม Logo
• โจเซฟ ไวเซนบอมผู้สร้างโปรแกรมELIZA ซึ่งเป็น โปรแกรมจำลองนักบำบัดด้วยคอมพิวเตอร์

• โรเบิร์ต เมตคาล์ฟผู้ซึ่งต่อมาได้คิดค้นอีเธอร์เน็ตที่ซีร็อกซ์ PARCและก่อตั้งบริษัท 3Com ในเวลาต่อมา
• มาร์ค ไรเบิร์ตผู้ก่อตั้งบริษัทหุ่นยนต์บอสตัน ไดนามิกส์
• ดรูว์ ฮูสตันผู้ร่วมก่อตั้งDropbox
• Colin Angle และ Helen Greiner ซึ่งร่วมกับRodney Brooks ผู้อำนวยการ CSAIL คนก่อน ก่อตั้งiRobot ^{[ 21 ]}
• Jeremy Wertheimer ผู้พัฒนาซอฟต์แวร์ ITAซึ่งใช้โดยเว็บไซต์ท่องเที่ยวเช่นKayakและOrbitz ^{[ 22 ] [ 23 ]}
• แม็กซ์ โครห์น ผู้ร่วมก่อตั้งOkCupid

ผู้อำนวยการโครงการ MAC

• โรเบิร์ต ฟาโน , 1963–1968
• เจซีอาร์ ลิคไลเดอร์ , 1968–1971
• เอ็ดเวิร์ด เฟรดกิน , 1971–1974
• ไมเคิล เดอร์ทูซอส , 1974–1975

ผู้อำนวยการห้องปฏิบัติการปัญญาประดิษฐ์

• มาร์วิน มินสกี , 1970–1972
• แพทริค วินสตัน , 1972–1997
• ร็อดนีย์ บรูคส์ , 1997–2003

ผู้อำนวยการห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์

• ไมเคิล เดอร์ทูซอส , 1975–2001
• วิคเตอร์ ซู , 2001–2003

กรรมการของ CSAIL

• ร็อดนีย์ บรูคส์ , 2003–2007
• วิคเตอร์ ซู , 2007–2011
• อนันต์ อากราวาล , 2011–2012
• ดาเนียลา แอล. รัส , 2012–

CSAIL Alliances เป็นหน่วยงานเชื่อมโยงอุตสาหกรรมของห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์และปัญญาประดิษฐ์ (CSAIL) ของ MIT ^{[ 24 ]} CSAIL Alliances เสนอโปรแกรมให้บริษัทต่างๆ เชื่อมต่อกับงานวิจัย คณาจารย์ นักศึกษา และสตาร์ทอัพของ CSAIL โดยมอบโอกาสให้องค์กรต่างๆ ได้เรียนรู้เกี่ยวกับงานวิจัย มีส่วนร่วมกับนักศึกษา สำรวจความร่วมมือกับนักวิจัย และเข้าร่วมโครงการวิจัยต่างๆ เช่น FinTech ที่ CSAIL ^{[ 25 ]} MIT Future of Data ^{[ 26 ]}และ Machine Learning Applications ^{[ 27 ] [ 28 ]}

• "การแต่งงานเพื่อผลประโยชน์: การก่อตั้งห้องปฏิบัติการปัญญาประดิษฐ์ของ MIT" (PDF)เก็บถาวรจากต้นฉบับ(PDF)เมื่อ 14 พฤษภาคม 2554 เรียกดูเมื่อ 30 ธันวาคม2550Chious และคณะ — มีข้อมูลสำคัญเกี่ยวกับระบบแบ่งเวลาใช้งานที่ไม่เข้ากัน
• ไวเซนบอม. กบฏในที่ทำงาน : ภาพยนตร์สารคดีเกี่ยวกับและที่เกี่ยวข้องกับโจเซฟ ไวเซนบอม
• การ์ฟิงเคิล, ซิมสัน (1999). อับ เบลสัน, ฮอลล์ (บรรณาธิการ). สถาปนิกแห่งสังคมสารสนเทศ: สามสิบห้าปีของห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์ที่ MIT . เคมบริดจ์ , แมสซาชูเซตส์: สำนักพิมพ์ MIT . ISBN 0-262-07196-7.

• เว็บไซต์อย่างเป็นทางการของ CSAIL ซึ่งเป็นสถาบันที่สืบทอดมาจาก AI Lab