Plusieurs professeurs du département s’intéressent à l’informatique théorique. La plupart de ces professeurs oeuvrent au sein du laboratoire bi-départemental LACIM (http://www.lacim.uqam.ca), un laboratoire conjoint avec le département de mathématiques. À l’intérieur de cet axe de recherche, on retrouve plusieurs sous-axes assez variés :

• Combinatoire : Anne Bergeron, Srecko Brlek, Louise Laforest, Odile Marcotte, et Timothy Walsh
• Théorie des graphes : Timothy Walsh, et Odile Marcotte
• Sémantique des langages de programmation : Guy Tremblay
• Spécification et synthèse de systèmes : Anne Bergeron
• Classification et arborescences : Louise Laforest, et Vladimir Makarenkov
• Bio-informatique : Anne Bergeron et Vladimir Makarenkov.