Avellaneda Florent
Contact information
Biography
Dr. Florent Avellaneda is an Associate Professor in the Department of Computer Science at the Université du Québec à Montréal. He holds a PhD in Computer Science from Aix-Marseille University, where he also completed his Master’s degree (top of his class). He has held postdoctoral positions in both France and Canada, including at the Centre de Recherche Informatique de Montréal (CRIM), where he later worked as a lead researcher.
Dr. Avellaneda is internationally recognized for his expertise in artificial intelligence, combinatorial optimization, and formal verification of critical systems. He has received multiple distinctions and h work has been published in top-tier journals and conferences, such as AAAI, IEEE Transactions on Software Engineering, and the American Journal of Transplantation.
Over the past decade, he has secured competitive research fundingsas a principal investigator, from agencies such as NSERC, FRQNT, CRIUGM, and Canada’s Department of National Defence. He actively supervises graduate and postdoctoral students on topics ranging from clinical decision support to cybersecurity of embedded systems.
Research interests
Dr. Avellaneda’s research focuses on designing robust, efficient, and interpretable artificial intelligence algorithms tailored for constrained contexts such as aging care, cybersecurity, and embedded systems. His main interests include:
-
machine learning from small datasets (frugal AI),
-
MaxSAT solving and combinatorial optimization,
-
model and automata inference,
-
optimal decision trees,
-
formal software verification,
-
and the real-world deployment of AI technologies in sensitive domains like health and defense.
He combines scientific rigor with interdisciplinary collaboration to advance applied AI with meaningful impact.
Keywords : artificial intelligence, machine learning, decision trees, formal verification, embedded systems, frugal AI, data science, model inference.