Skip to content

Christian Muise

  • PhD
  • Research Fellow
  • Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
  • 7h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 178CitationsNumber of citations received by Christian's publications. Updated daily.

Other IDs

Research interests

Graph TheoryKnowledge CompilationLogicSATAutomated PlanningKnowledge RepresentationKRAI


I am a PhD candidate in the Computer Science graduate program at the University of Toronto. I completed my master's degree at U of T early in 2009, and did my undergrad at Carleton University from 2002 to 2007. My research is in the area of Knowledge Representation and Reasoning, but in general I am interested in a wide range of academic areas (graph theory, data visualization, computational geometry, etc).

Co-authors (26)

Publications (5)

  • Logical filtering and smoothing: State estimation in partially observable domains

    • Mombourquette B
    • Muise C
    • McIlraith S
  • Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces

    • Camacho A
    • Triantafillou E
    • Muise C
  • Efficient reasoning with consistent proper epistemic knowledge bases

    • Muise C
    • Miller T
    • Felli P
  • Non-deterministic planning with conditional effects

    • Muise C
    • Mcllraith S
    • Belle V
  • SAT-based analysis and quantification of information flow in programs

    • Klebanov V
    • Manthey N
    • Muise C
    Get full text

Professional experience

Research Fellow

Artificial Intelligence and Computer Science Laboratory

January 2016 - Present

Teaching Assistant

Department of Computer Science, University of Toronto

September 2007 - April 2013(6 years)

Education history

PhD Computer Science

University of Toronto

February 2009 - October 2013(5 years)

MSc Computer Science

University of Toronto

September 2007 - January 2009(a year)

Bachelor of Science, Computer Science

Carleton University

September 2002 - August 2007(5 years)