Suis nous sur
CIFAR header logo
en
menu_mobile_logo_alt
  • À propos
    • Notre histoire
    • CIFAR 40
    • Prix
    • Message du président
    • Partenariats
    • Publications et rapports
    • Carrières
    • Équité, diversité et inclusion
  • Nouvelles
  • Communauté
    • Membres et spécialiste-conseils
    • Chercheurs mondiaux CIFAR-Azrieli
    • Chaires en IA Canada-CIFAR
    • Direction – Stratégie en matière d’IA
    • Membres du réseau de solutions
    • Répertoire du personnel
    • Direction – CIFAR
  • Programmes
    • Programmes de recherche
    • Stratégie pancanadienne en matière d’IA
    • Initiatives à l’intention de la prochaine génération
    • Appel à idées mondial
    • Mesures de lutte contre la COVID-19
  • Activités
    • Événements publics
    • Réunions sur invitation seulement
  • Soutenez-nous
  • en
  • Accueil
  • Bio

Suivez-nous

Levi H. S. Lelis

Levi H. S. Lelis

La nomination

  • Titulaire de chaire en IA Canada-CIFAR
  • Stratégie pancanadienne en matière d’IA

Connect

Université de l’Alberta

Google Scholar

À Propos

Levi Lelis est titulaire d’une chaire en IA Canada-CIFAR et boursier à l’Amii. Il est professeur adjoint au département d’informatique de l’Université de l’Alberta et professeur en congé de l’Université fédérale de Viçosa au Brésil.

De nombreux problèmes importants, tels que la découverte de médicaments et la planification de la trajectoire des robots, peuvent être considérés comme des tâches de recherche combinatoire. Les recherches de Levi Lelis portent sur la conception d’algorithmes permettant de résoudre de telles tâches. Les algorithmes développés par son groupe de recherche ont été utilisés pour résoudre des problèmes liés au design, à la musique, au sport et aux jeux. Le groupe se concentre sur la résolution de problèmes de recherche combinatoire survenant lors du processus de synthèse de programmes informatiques lisibles par l’homme qui encodent des solutions à des problèmes de prise de décision. La synthèse de telles solutions programmatiques est sans doute l’une des directions de recherche les plus prometteuses pour faire face au manque d’interprétabilité des systèmes intelligents actuels. En outre, les programmes synthétisés par ordinateur pourraient être utilisés pour transférer des connaissances générées par des machines aux humains, car nous pourrions être en mesure de comprendre et d’apprendre les solutions encodées dans ces programmes.

Prix

  • Membre distingué du comité de programme, IJCAI, 2018-2019
  • Contribution exceptionnelle à la révision, Artificial Intelligence Journal, 2017
  • Gagnant du championnat MicroRTS, IEEE, 2018
  • Finaliste de l’International Planning Competition, ICAPS, 2018

Publications Pertinentes

  • Moraes, R., Lelis, L. (2018). « Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games », Proceedings of the AAAI Conference on Artificial Intelligence, 32(1).
  • Orseau, L., Lelis, L., Lattimore, T., Weber, T. (2018). « Single-Agent Policy Tree Search With Guarantees », Advances in Neural Information Processing Systems, p. 3201-3211.
  • Franco, S., Torralba, A., Lelis, L. H., Barley, M. (2017). « On Creating Complementary Pattern Databases », Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI), p. 4302-4309.
  • Lelis, L. H., Stern, R., Arfaee, S. J., Zilles, S., Felner, A., Holte, R. C. (2016). « Predicting Optimal Solution Costs with Bidirectional Stratified Sampling in Regular Search Spaces », Artificial Intelligence, 230:51-73.
  • Lelis, L. H., Otten, L., Dechter, R. (2014). « Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models », Proceedings of the International Conference on Principles and Practice of Constraint Programming, p. 481-496.

institut

  • Amii
  • Université de l'Alberta
  • Université fédérale de Viçosa

Département

Informatique

Éducation

  • PhD (informatique), Université de l’Alberta
  • MSc (génie électrique), Université fédérale du Minas Gerais, Brésil
  • BSc (informatique), Université fédérale de Viçosa, Brésil

Pays

  • Canada

Soutenez-nous

Le CIFAR est un organisme de bienfaisance enregistré qui reçoit le soutien des gouvernements du Canada, de l’Alberta et du Québec, ainsi que de fondations, de donateurs individuels, d’entreprises et de partenaires canadiens et internationaux.

Dons
CIFAR header logo

Souscrire

Rejoignez notre communauté! Restez à jour avec nos nouvelles, événements, conférences et ateliers et dernières découvertes à travers le monde.

Centre MaRS, tour Ouest
661, avenue University, bureau 505
Toronto (Ontario) M5G 1M1 Canada

Contactez-nous
Médias
Carrières
Politiques sur l’accessibilité
Bienfaiteurs
Rapports financiers
Abonnez-vous

  • © Copyright 2022 CIFAR. Tous les droits sont réservés.
  • Numéro d’enregistrement d’organisme de bienfaisance : 11921 9251 RR0001
  • Conditions d'utilisation
  • Politique de confidentialité
  • Plan du Site
Ce site Web enregistre des témoins sur votre ordinateur. Ces témoins sont utilisés pour recueillir des renseignements sur votre interaction avec notre site Web et nous permettre de vous reconnaître. Nous utilisons ces renseignements afin d'améliorer et de personnaliser votre expérience de navigation et à des fins d'analyse et de mesures concernant nos visiteurs, tant sur ce site Web que sur d'autres médias. Pour en savoir plus sur les témoins que nous utilisons, consultez notre politique deconfidentialité.
Accepter En savoir plus