Ulrike Sattler

Ulrike Sattler
Ulrike Sattler
Kombësia	German
Çmimet	Member of the Academia Europaea (2014); SWSA Ten Year Award (2018);
	Karriera shkencore
Fushat	Description Logics; Ontology Engineering; Automated Reasoning;
Institucionet	University of Manchester; University of Oslo; Dresden University of Technology; Rice University; RWTH Aachen University;
Këshilltarët e doktoraturës	Franz Baader

Ulrike M. Sattler MAE është profesoresh e shkencës kompjuterike në grupin e menaxhimit të informacionit të Departamentit të Shkencave Kompjuterike në Universitetin e Mançesterit dhe një Profesoreshe vizituese në Universitetin e Oslo-s .

Arsimi

Sattler përfundoi doktoraturën në 1998 nën mbikëqyrjen e Franz Baader në Universitetin RWTH Aachen në Gjermani.

Karriera dhe hulumtimi

Sattler u transferua në Universitetin e Mançester si Lektore në 2002, u promovua pedagoge e lartë në 2003, lexuese në 2006 dhe më pas profesoresh në 2007. Hulumtimi i Sattler përqendrohet në logjikën për të mbështetur përfaqësimin e njohurive përfshirë logjikën e përshkrimit, Logjikën dinamike dhe logjikën modale . Ajo gjithashtu po heton problemet e konkluzionit, teorinë e kompleksitetit dhe procedurat e vendimeve që lidhen me përfaqësimin e njohurive. Ky hulumtim ka qenë i rëndësishëm në zhvillimin e Gjuhës së Ontologjisë në Ueb (OWL) dhe përdorimin e tij në bioinformatikë dhe biologji molekulare .

Hulumtimi i Sattler është financuar nga Këshilli i Kërkimit Inxhinierik dhe Shkencave Fizike (EPSRC). Ajo është bashkëautore e librit shkollor Një hyrje në logjikën e përshkrimit me Ian Horrocks, Franz Baader dhe Carsten Lutz .

Shërbimi akademik

Sattler shërben si redaktore e Revistës së Logjikës dhe Llogaritjes, në bordin editorial të Gazetës së arsyetimit të automatizuar, dhe një karrige për konferenca të ndryshme, përfshirë Konferencën e Përbashkët Ndërkombëtare për Arsyetimin e Automatizuar (IJCAR). ^[6]

Cmime dhe nderime

Sattler u zgjodh anëtar i Academia Europaea (MAE) në 2014. Ajo ishte bashkë pranuese me Bijan Parsia dhe Matthew Horridge të çmimit më të mirë në letër në Konferencën Ndërkombëtare Semantike të Uebit (ISWC) në 2008 cila më pas fitoi çmimin AWSA Ten Year award në 2018 për letrën me ndikim më të lartë nga procedurat e ISWC dhjetë vjet më parë. ^[7]

Referime

^ https://web.archive.org/web/20140416181432/http://www.manchester.ac.uk/research/Ulrike.sattler/
^ "Kopje e arkivuar". Arkivuar nga origjinali më 9 gusht 2018. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)
^ https://scholar.google.com/citations?user=uMI-tgsAAAAJ
^ https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65102
^ "Kopje e arkivuar". Arkivuar nga origjinali më 9 gusht 2018. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)
^ "Kopje e arkivuar". Arkivuar nga origjinali më 4 tetor 2013. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)
^ "Kopje e arkivuar". Arkivuar nga origjinali më 4 tetor 2013. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)

[1] ttps://web.archive.org/web/20140416181432/http://www.manchester.ac.uk/research/Ulrike.sattler/

[2] "Kopje e arkivuar". Arkivuar nga origjinali më 9 gusht 2018. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)

[3] ttps://scholar.google.com/citations?user=uMI-tgsAAAAJ

[4] ttps://www.genealogy.math.ndsu.nodak.edu/id.php?id=65102

[5] "Kopje e arkivuar". Arkivuar nga origjinali më 9 gusht 2018. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)

[6] "Kopje e arkivuar". Arkivuar nga origjinali më 4 tetor 2013. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)

[7] "Kopje e arkivuar". Arkivuar nga origjinali më 4 tetor 2013. Marrë më 7 prill 2020. {{cite web}}: Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Archived copy si titull (lidhja)

[1]

[2]

[3]

[4]

[5]

[6]

[7]