Guillaume Verger
Ingénieur expert, INRIA
Suite à un Doctorat d'Informatique au Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM), je suis actuellement Ingénieur Expert pour l'équipe-projet Atlas de l'INRIA actuellement en place au LIRMM.
Mon doctorat portait sur des méthodes algorithmiques de résolution de problèmes combinatoires dans le domaine des réseaux de contraintes.
J'ai continué dans ce domaine lors d'un contrat d'ingénieur d'étude (au LIRMM toujours) sur le problème des tournées de véhicules.
Puis j'ai passé trois mois à l'université de New South Wales à Sydney pour travailler comme post-doctorant sur un rapprochement entre les réseaux de contraintes et un type de logique modale.
Depuis le mois d'avril je travaille comme ingénieur de recherche pour une équipe de recherche dans le domaine des bases de données probabilistes, ainsi que dans les protocoles de communication des réseaux pair-à-pair.
14 contactsJe suis Ingénieur dans l'équipe-projet Atlas de l'INRIA actuellement basée au LIRMM. Je développe des prototypes de recherche afin de permettre aux chercheurs de tester et valider leurs travaux théoriques.
Je travaille actuellement dans deux problématiques : les bases de données probabilistes, qui contiennent des données incertaines, et dont les algorithmes de fonctions sont à redéfinir, et les réseaux pair-à-pair, pour lesquels les membres de l'équipe de recherche mettent au point des techniques de diffusion de donnée et de partage d'informations peu gourmandes en bande passante.
2009 - 2010J'ai passé 3 mois dans le laboratoire Computer Science and Engineering de l'université de New South Wales de Sydney. J'y ai travaillé avec Éric Martin, chercheur dans ce laboratoire, afin rapprocher son domaine (une logique modale de calcul appelée Logique paramétrique) et le mien (les Réseaux de contraintes) et établir une collaboration entre l'équipe Coconut du LIRMM et Eric Martin.
2009 - 2009J'ai travaillé comme ingénieur dans l'équipe de recherche IDC au LIRMM, sous la direction de Dr. Rémi Coletta. La mission était de réaliser le coeur d'un moteur de résolution du problème combinatoire de Tournées de Véhicules modélisé par un réseau de contraintes. La réalisation s'est faite en Java à l'aide de la bibliothèque de contraintes Choco.
2007 - 2008J'ai assuré des cours/TD/TP à l'IUT d'Informatique de Montpellier, de la première année à la licence professionnelle.
2004 - 2007En tant que moniteur, j'ai assuré 64h par an de travaux dirigés et pratiques à des étudiants de la Fac de sciences, de la première année du DEUG (désormais Licence) au Master. Ceci pendant mon doctorat d'Informatiques.