Das Computer Science and Artificial Intelligence Laboratory (CSAIL) ist ein Forschungsinstitut am Massachusetts Institute of Technology (MIT), das 2003 durch die Zusammenlegung des Laboratory for Computer Science (LCS) und des Artificial Intelligence Laboratory (AI Lab) entstand. Das CSAIL ist im Ray and Maria Stata Center untergebracht und ist gemessen an Forschungsumfang und Mitgliederzahl das größte Labor auf dem Campus. Es ist Teil des Schwarzman College of Computing, wird aber auch vom Vizepräsidenten für Forschung des MIT beaufsichtigt.
Die Forschungsaktivitäten des CSAIL sind in einer Reihe von halbautonomen Forschungsgruppen organisiert, die jeweils von einem oder mehreren Professoren oder Forschungs wissenschaftlern geleitet werden. Diese Gruppen sind in sieben allgemeine Bereiche unterteilt: künstliche Intelligenz, Computerbiologie, Grafik und Vision, Sprache und Lernen, Theorie der Berechnung, Robotik und Systeme (einschließlich Rechnerarchitektur, Datenbanken, verteilte Systeme, Netzwerke, Betriebssysteme, Programmiermethodik und Softwaretechnik).
Geschichte
Die Computerforschung am MIT begann mit Vannevar Bushs Differentialanalysator und Claude Shannons elektronischer Boolescher Algebra in den 1930er Jahren, gefolgt vom MIT Radiation Laboratory während des Krieges, dem Nachkriegsprojekt Whirlwind, dem Research Laboratory of Electronics (RLE) und dem SAGE-System des MIT Lincoln Laboratory in den frühen 1950er Jahren. Die Forschung in künstlicher Intelligenz begann in den späten 1950er Jahren.
Project MAC
Am 1. Juli 1963 wurde das Project MAC mit einem Zuschuss von 2 Millionen Dollar der Defense Advanced Research Projects Agency (DARPA) gestartet. Der Name MAC stand für mehrere Ausdrücke: "Machine-Aided Cognition" (das breite Ziel), "Multiple-Access Computer" (das Hauptwerkzeug) und "Men and Computers" (die wesentlichen Partner). Der erste Direktor des Projekts war Robert Fano vom RLE, der den Begriff "Projekt" anstelle von "Labor" aus internen MIT-Politikgründen wählte. Der DARPA-Programmmanager J. C. R. Licklider, der zuvor am RLE tätig war, folgte Fano später als Direktor.
Project MAC wurde berühmt für bahnbrechende Forschung in Betriebssystemen, künstlicher Intelligenz und der Theorie der Berechnung. Zu seinen Zeitgenossen gehörten Project Genie in Berkeley, das Stanford Artificial Intelligence Laboratory und das Information Sciences Institute der University of Southern California.
Eine KI-Gruppe, darunter Marvin Minsky (Direktor), John McCarthy (Erfinder von Lisp) und eine Gemeinschaft von Programmierern, wurde in Project MAC integriert. Sie konzentrierten sich auf Vision, mechanische Bewegung und Manipulation sowie Sprache. In den 1960er und 1970er Jahren entwickelte die KI-Gruppe das Incompatible Timesharing System (ITS), das auf PDP-6- und später PDP-10-Computern lief.
Die frühe Project-MAC-Gemeinschaft umfasste Fano, Minsky, Licklider, Fernando J. Corbató und andere, die von McCarthy inspiriert waren. Sie stellten sich einen Computer-Utility vor, dessen Rechenleistung so zuverlässig war wie ein Elektrizitätswerk. Corbató brachte das Compatible Time-Sharing System (CTSS) vom MIT Computation Center mit und verwendete DARPA-Mittel, um einen IBM 7094 zu kaufen. CTSS unterstützte etwa 100 TTY-Terminals, wobei etwa 30 Benutzer gleichzeitig angemeldet waren.
Ein früher Schwerpunkt war die Entwicklung von Multics, einem Nachfolger von CTSS, das das erste Hochverfügbarkeits-Computersystem und ein Testfeld für Sicherheitskernel wurde. Es wurde zunächst mit General Electric und Bell Laboratories entwickelt. Nach dem Rückzug von Bell im Jahr 1969 und dem Ausstieg von GE aus dem Computergeschäft im Jahr 1970 setzte Project MAC die Multics-Entwicklung mit Honeywell in den 1970er Jahren fort.
AI Lab und das Laboratory for Computer Science
In den späten 1960er Jahren suchte Minskys KI-Gruppe nach mehr Platz und spaltete sich, da sie von Licklider keine Zufriedenheit erhielt, 1970 ab, um das MIT AI Lab zu bilden. Programmierer wie Richard Stallman, der TECO zur Entwicklung von EMACS verwendete, blühten dort auf. Das AI Lab erfand Lisp-Maschinen, die in den 1980er Jahren von Symbolics und Lisp Machines Inc. kommerzialisiert wurden.
Project MAC wurde 1976 offiziell in Laboratory for Computer Science (LCS) umbenannt. Die Forscher setzten die Arbeit an Betriebssystemen, Programmiersprachen, verteilten Systemen, Sicherheitskerneln und der Theorie der Berechnung fort. Zwei Professoren, Hal Abelson und Gerald Jay Sussman, bildeten eine kleinere Gruppe, die offiziell als MIT Project on Mathematics and Computation (ein Backronym für "Project MAC") bezeichnet wurde und wegen ihrer Neutralität den Spitznamen "Schweiz" trug.
CSAIL
Am 1. Juli 2003, dem vierzigsten Jahrestag von Project MAC, fusionierten LCS und das AI Lab zum CSAIL und schufen damit das größte Labor (über 600 Mitarbeiter) auf dem Campus.
Im Jahr 2018 startete das CSAIL eine fünfjährige Zusammenarbeit mit iFlytek, einem Unternehmen, das im folgenden Jahr wegen angeblicher Überwachung und Menschenrechtsverletzungen in Xinjiang sanktioniert wurde. Im Oktober 2019 kündigte das MIT eine Überprüfung der Partnerschaften mit sanktionierten Unternehmen wie iFlyTek und SenseTime an. Die Vereinbarung mit iFlyTek wurde im April 2020 beendet.
Das CSAIL zog bis Februar 2020 von der School of Engineering in das neu gegründete Schwarzman College of Computing um.
Bemerkenswerte Forschung und Beiträge
Das CSAIL und seine Vorgänger haben zahlreiche Beiträge zur Informatik und KI geleistet. Die Entwicklung von Time-Sharing-Systemen wie CTSS und Multics beeinflusste moderne Betriebssysteme. Die Arbeit des AI Lab an Lisp-Maschinen und frühe KI-Forschung legten Grundlagen für spätere Fortschritte in künstlicher Intelligenz und maschinellem Lernen. In jüngerer Zeit haben CSAIL-Forscher zu Deep Learning, neuronalen Netzen und großen Sprachmodellen beigetragen, oft in Zusammenarbeit mit Industriepartnern.
Einrichtungen und Büros
Von 1963 bis 2004 waren Project MAC, LCS und das AI Lab in verschiedenen Gebäuden auf dem MIT-Campus untergebracht. Im Jahr 2004 zog das CSAIL in das von Frank Gehry entworfene Ray and Maria Stata Center um. Das Gebäude bietet dedizierten Raum für Forschungsgruppen, Labore und Kooperationsbereiche und unterstützt die Rolle des CSAIL als zentraler Knotenpunkt für Computerforschung am MIT.