Skip to content

Christian Muise

  • PhD
  • Research Staff Member
  • IBM Cambridge Research Center
  • 9h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 301CitationsNumber of citations received by Christian's publications. Updated daily.

Recent publications

  • Synthesizing controllers: On the correspondence between LTL synthesis and non-deterministic planning

    • Camacho A
    • Baier J
    • Muise C
    • et al.
    Get full text
  • Towards team formation via automated planning

    • Muise C
    • Dignum F
    • Felli P
    • et al.
    Get full text

Professional experience

Research Staff Member


October 2017 - Present

Research Fellow

Artificial Intelligence and Computer Science Laboratory

January 2016 - October 2017(2 years)

Teaching Assistant

Department of Computer Science, University of Toronto

September 2007 - April 2013(6 years)


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)


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 (30)

Other IDs