Couvre la récupération d'informations probabilistes, y compris le modèle de vraisemblance des requêtes, la modélisation du langage et les techniques de lissage pour les termes non récurrents.
Couvre la recherche probabiliste de l'information, les modèles de probabilité d'interrogation, la modélisation du langage et les algorithmes de rétroaction de pertinence.
Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
Couvre les modèles probabilistes d'extraction, les mesures d'évaluation, la probabilité de la requête, la rétroaction sur la pertinence de l'utilisateur et l'expansion de la requête.
Couvre le 'V-Model' de l'ingénierie des systèmes, en mettant l'accent sur les bonnes exigences, l'architecture du système, la génération de concepts et la sélection de concepts.
