Leon van der Torre

**Leendert (Leon) van der Torre** [LENdert fan der TOre] estas profesoro pri komputoscienco ĉe la Universitato de Luksemburgio kaj estro de la esplorgrupo *Individua kaj Kolektiva Rezonado* (angle '**, ICR), kiu estas parto de la universitata Esplor-Unuo pri Komputoscienco kaj Komunikado (angle **' (CSC)). Leon van der Torre esploras pri devo-logiko kaj mult-aganto-sistemoj, estas membro de la Etika Konsilanta Komitato de la Universitato de Luksemburgio kaj fondinto de la *CSC-a Robota Esplorlaboratorio*. Ekde Marto 2016 li estas estro de la Esplor-Unuo pri Komputoscienco kaj Komunikado.

## Biografio
Leon van der Torre naskiĝis la 18-an de Marto 1968 en Roterdamo, Nederlando. Li vivis en Zevenhuizen, kie li frekventis bazlernejon, antaŭ ol li frekventis la duagradan lernejan sekvion VWO de la * Orange-Nassau College* en Zoetermeer. Dum tiu tempo li aĉetis sian unuan komputilon, ZX-81, kiun li mem programis, kaj ŝatis skribi artikolojn por komputila revuo. Aldone li iĝis nacia junulara ĉampiono de briĝo.

Leon van der Torre studis komputosciencon ĉe la Erasmo-Universitato de Roterdamo ĉe la Fakultato pri Ekonomiscienco, kaj krome studis iom da filozofio. Li havis postenon ĉe EURIDIS kaj ĉe la Instituto pri Komputoscienco dum li diplomiĝis kiel Magistro de Scienco en 1992 kaj doktoriĝi en komputoscienco en 1997 sub la gvido de Yao-Hua Tan. Lia tezo temis pri devo-logiko en komputoscienco kaj ĝia rilato al nemonotona logiko. Lia ĉefa esplortemo estas logikoj en artefarita intelekto kaj komputoscienco.

Post postenoj en Germanujo (Max-Planck-Instituto por Komputoscienco, en Saarbrücken), Francujo (kiel Marie-Curie-stipendiato ĉe CNRS-IRIT en Tuluzo) kaj Nederlando (CWI Amsterdam, Vrije Universiteit), li eklaboris ĉe la Universitato de Luksemburgio kiel plenrajta profesoro pri Intelektaj Sistemoj en Januaro 2006. Nuntempe li ankaŭ estas estro de la universitata Esplor-Unuo pri Komputoscienco kaj Komunikado. Ĝis Marto 2015, 12 studentoj doktoriĝis sub lia gvido kaj 10  laborintaj sub lia gvido estis ricevintaj daŭran postenon en esplorado aŭ universitata instruado.

## Esploro
Laborinte pri kvalita decidoteorio, Leon van der Torre direktis sin al kognoscienco kaj aganto-teorio. Li disvolvis la BOID-aganto-arĥitekturon  (kun kolegoj de Vrije Universiteit Amsterdam), kreis la esplorkampon de eneligo-logikoj (kun David Makinson), kaj la ludo-teorian aliron al normaj mult-aganto-sistemoj (kun Guido Boella de la Universitato de Torino). Li iniciatis plurajn simpoziojn, ekzemple la simpozion pri kunordigo kaj organizado (CoOrg), la simpozion pri interfakaj aliroj al roloj (ROLES), kaj la simpozion pri normaj mult-aganto-sistemoj (NORMAS). En 2015 li iĝis honora membro de la Eŭropa Asocio por Artefarita Intelekto.

Leon van der Torre krome estas la redaktisto de la devo-logika angulo de la fakrevuo '**, redakciano de la fakrevuoj **' kaj '**, estro de la kunordigaj komitatoj de la sciencaj konferencoj DEON kaj CLIMA, kaj redaktisto de la Manlibroj pri Devo-Logiko kaj Normaj Sistemoj (angle **'). Pliaj manlibroj estas preparataj.

## Persona vivo
De 2000 Leon van der Torre estas edziĝinta al la artisto Egberdien van der Torre - van der Peijl, kun kiu li havas du filojn.

## Referencoj
## Eksteraj ligiloj
* Retpaĝaro de Leon van der Torre
* Publikigaĵoj sur DBLP

Kategorio:Logikistoj