Ulrike Sattler

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).  

 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ë.   

 Referime 

Kategoria: Gra në teknologji