Ulrike Sattler

Nga Wikipedia, enciklopedia e lirë
Ulrike Sattler
KombësiaGerman
Çmimet
Karriera shkencore
Fushat
Institucionet
Këshilltarët e doktoraturësFranz Baader[5]


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[Redakto | Redakto nëpërmjet kodit]

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

Karriera dhe hulumtimi[Redakto | Redakto nëpërmjet kodit]

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[Redakto | Redakto nëpërmjet kodit]

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[Redakto | Redakto nëpërmjet kodit]

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[Redakto | Redakto nëpërmjet kodit]

  1. ^ https://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. ^ https://scholar.google.com/citations?user=uMI-tgsAAAAJ
  4. ^ https://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)