Florent Avellaneda

associate member
Professor
Computer Science Department
avellaneda.florent@uqam.ca
Page personnelle
UQAM

Biography

Florent Avellaneda is a professor at Université du Québec à Montréal (UQAM) and an emerging researcher at the Centre de Recherche de l’Institut Universitaire de Gériatrie Montréal (CRIUGM).

Florent holds a master’s degree and a doctorate in fundamental computer science from the University of Aix-Marseille (France), and has worked as a postdoctoral researcher at LAAS-CNRS in Toulouse, and as a postdoctoral researcher and researcher at the Centre de Recherche Informatique de Montréal (CRIM).

His main areas of interest are model inference, constraint programming, frugal artificial intelligence, modeling and formal verification.

Subjects of interests

  • Artificial intelligence
  • Machine learning
  • SAT/MaxSAT
  • Formal methods
  • Modeling and formal verification
Florent Avellaneda and Roger Villemaire
"Delegation-Relegation for Boolean Matrix Factorization"Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014AAAI Press20632-206392024
Dimitri PrestatNaouel MohaRoger Villemaire and Florent Avellaneda
DynAMICS: A tool-based method for the specification and dynamic detection of Android behavioural code smells122022
Florent Avellaneda and Roger Villemaire
"Undercover Boolean Matrix Factorization with MaxSAT"Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelfth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022AAAI Press3672-36812022
Florent AvellanedaRoger Villemaire
"Boolean Matrix Factorization with SAT and MaxSAT"62021 CoRR abs/2106.10105