Institutet för logik, språk och beräkningar
Tidigare namn |
Instituut voor Taal Logica en Information |
|---|---|
| Etablerade | 1991 |
| Direktör | Sonja Smets |
| Adress |
Science Park 107 ,,1098 XG ,
|
| Hemsida |
Institutet för logik, språk och beräkningar ( ILLC ) är ett forskningsinstitut vid universitetet i Amsterdam , där forskare från naturvetenskapliga fakulteten och humanistiska fakulteten samarbetar. ILLC:s centrala forskningsområde är studiet av grundläggande principer för kodning , överföring och förståelse av information . Tonvikten ligger på naturliga och formella språk, men även andra informationsbärare, såsom bilder och musik , studeras.
Forskningen vid ILLC är tvärvetenskaplig och syftar till att föra samman insikter från olika discipliner som rör information och informationsbehandling, såsom logik , matematik , datavetenskap , datorlingvistik , kognitionsvetenskap , artificiell intelligens och filosofi . Det är organiserat i de tre grupperna Logic & Computation (projektledare: Yde Venema), Logic & Language (projektledare: Robert van Rooij) och Language & Computation (projektledare: Jelle Zuidema) förenade av nyckelteman Explainable and Ethical AI , Tolkbar maskininlärning för naturlig språkbearbetning , kognitiv modellering , logik, spel och socialbyrå och kvantinformation och beräkningar . ILLC är involverat i flera internationella samarbeten, bland annat lyfter vi fram Joint Research Centre for Logic (JRC), ett speciellt samarbetspartnerskap mellan Tsinghua University och University of Amsterdam.
Utöver sin forskningsverksamhet driver ILLC Graduate Program in Logic med ett doktorandprogram och MSc in Logic, en internationell topprankad och tvärvetenskaplig MSc-examen i logik ( MSc Logic webbsida ). I september 2018 öppnade institutet minor i logik och beräkning, och välkomnade lokala och internationella kandidatstudenter. Programmet för minor i logik och beräkning består av 30 EC, valda från en lista över högprofilerade kurser organiserade enligt fyra teman: matematik, filosofi, teoretisk datavetenskap och beräkningslingvistik och AI.
Historia
ILLC startade 1986 som Instituut voor Taal, Logica en Informatie (ITLI; Institutet för språk, logik och information). Till en början var det en informell sammanslutning av personal från Matematisk - datavetenskapliga fakulteten och Filosofiska fakulteten och fick sällskap av datorlingvister från Humanistiska fakulteten 1989. 1991 grundades institutet officiellt som ett universitet Forskningsinstitut. Under 1991–1996 ingick även programmeringsforskargruppen vid Matematisk-datavetenskapliga fakulteten i institutet. Applied Logic Lab från Samhällsvetenskapliga fakulteten var en del av ILLC 1996 till 2003. Andra grupper inom datavetenskap och kognitionsvetenskap har associerat sig med institutet 1996.
ILLC är rotad i Amsterdams logikforskningstradition som går tillbaka till det tidiga nittonhundratalet (inklusive forskare som LEJ Brouwer , Arend Heyting och Evert Willem Beth) . Den betraktar Beths Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (grundad 1952) som dess föregångare.
Direktörer
| namn | Mandattid | |
|---|---|---|
| 1:a direktören | Johan van Benthem | 1991-1998 |
| 2:a direktören | Martin Stokhof | 1998-2003 |
| 3:e direktören | Frank Veltman | 2003-2009 |
| 4:e direktören | Jeroen Groenendijk | 2009 |
| 5:e direktören | Leen Torenvliet | 2009-2011 |
| 6:e direktören | Yde Venema | 2011-2016 |
| 7:e direktören | Sonja Smets | 2016-2021 |
| 8:e direktören | Robert Van Rooij | sedan 2021 |
Medlemmar
Andra anmärkningsvärda medlemmar och tidigare medlemmar inkluderar:
Se även
externa länkar
Rector magnificus: Karen Maex
| |||||||||||||||
| Campus |
|
 |
|||||||||||||
| fakulteter |
|
||||||||||||||
| människor |
|
||||||||||||||
| Andra |
|
||||||||||||||
