|
|
Forschungsschwerpunkte
- Wir machen angewandte Algorithmik.
Das bedeutet, dass wir uns komplexe und typischerweise schlecht definierte Real-World Probleme anschauen, nach Formalisierungen suchen die einfach sind aber nicht zu einfach, die so formalisierten Probleme klassisch-theoretisch untersuchen, die so gefundenen Lösungen sorgfältig implementieren, experimentell untersuchen ob das empirische Verhalten mit dem theoretischen übereinstimmt, und schließlich unsere Erkenntnisse in voll-funktionale Systeme oder Prototypen einbauen, die von anderen benutzt werden können.
All diese Schritte geschehen nicht in Isolation, sondern als Teil eines "Orchesters". Zum Beispiel kann das Ergebnis eines Experimentes oder einer Benutzererfahrung dazu führen, dass wir die theoretische Analyse oder sogar die Problemdefinition noch einmal überdenken. Das macht unsere Arbeit sehr komplex und anspruchsvoll, aber auch sehr praxisrelevant und befriedigend.
Drei typische Beispiele dafür sind unsere Arbeiten zur semantischen Volltextsuche (Broccoli), zur effizienten "Search-as-you-Type" Suche (CompleteSearch), sowie zur effizienten Routenplanung auf sehr großen Verkehrsnetzwerken.
|
