Ulrike Sattler

Ulrike Sattler
Crédit image:
Computer Science Manchester
licence CC BY 2.0 🛈
Ulrike Sattler (2013).
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Université de Manchester (depuis le )
Membre de
Directeur de thèse
Site web
Œuvres principales

Ulrike Sattler (née en 1966 à Munich) est une informaticienne, professeure d'université au sein du département de computer science de l'université de Manchester.

Biographie

De 1988 à 1994, Sattler fait des études d'informatique à l'université Friedrich-Alexander d'Erlangen-Nuremberg, où elle obtient son diplôme. Elle soutient une thèse de doctorat summa cum laude sous la direction de Franz Baader à la RWTH Aix-la-Chapelle en 1998 ; titre de sa thèse : Technological Knowledge Representation Systems in a Chemical Engineering Application[1].

De 1998 à 2002, elle est assistante de recherche à l'Université RWTH d'Aix-la-Chapelle, puis et jusqu'en 2003 à l'Institut d'informatique théorique de l'université technique de Dresde . Elle y soutient son habilitation en 2003 avec une thèse d'habilitation intitulée Logiques de description pour les ontologies [2]. Elle est ensuite lecturer, puis senior lecturer à l’université de Manchester, où elle a été promue reader en 2006 et professeure en 2007.

Recherche

Les recherches de Sattler portent sur les logiques de la représentation des connaissances, notamment la logique de description, la logique dynamique et la logique modale. Elle étudie également les problèmes d'inférence, la théorie de la complexité et les processus décisionnels liés à la représentation des connaissances. Cette recherche a été importante dans le développement du Web Ontology Language (OWL) et de son utilisation en bioinformatique et en biologie moléculaire.

Responsabilités

Sattler est membre du comité de rédaction du Journal of Logic and Computation, du Journal of Automated Reasoning et membre du steering committee de la International Joint Conference on Automated Reasoning (IJCAR).

Publications

Elle est coauteur, avec Franz Baader, Lutz Carsten et Ian Horrocks, d'un manuel de logique descriptive[3].

Distinctions et honneurs

  • 1999 : Prix Friedrich Wilhelm, de l'université technique d'Aix-la-Chapelle.
  • 2008 : avec Bijan Parsia et Matthew Horridge : prix du meilleur article de l'International Semantic Web Conference (ISWC).[réf. nécessaire]
  • 2013 : élue membre de l'Academia Europaea[2].
  • 2018 : avec Matthew Horridge, Bijan Parsiaden, le SWSA Ten Year Award pour l'article ayant le plus grand impact du processus ISWC dix ans auparavant.[pas clair][réf. nécessaire]

Notes et références

  1. ↑ (en) « Ulrike Sattler », sur le site du Mathematics Genealogy Project.
  2. ↑ a et b [1] sur Academia Europaea.
  3. ↑ Franz Baader, Ian Horrocks, Carsten Lutz et Uli Sattler, An Introduction to Description Logic, Cambridge, Cambridge University Press, (ISBN 9781139025355, OCLC 990330256, DOI 10.1017/9781139025355).

Liens externes

Informaticienne allemande (8)
Professeur à l'université de Manchester (103)
Membre de l'Academia Europaea (502)
Naissance en 1966 (728)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Ulrike_Sattler) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Ulrike Sattler » :
Vlaam, HenriDavel, Framabot, Vers75, Huster, JackBot, Pa2chant.bis.