Computer Science Project

Christian James Muise

** ****** ****** ****. *******, ON M4V 1E8 647-***-**** *********.*****@*****.***

Objective

Seeking post-doctoral studies in the field of Artificial Intelligence.

Education

PhD of Computer Science

University of Toronto, Toronto, Ontario 2007 - Present

CGPA of 11.50 / 12.00

NSERC CGS and OGS Award Recipient

Alexander Graham Bell Scholarship Recipient

Ray Reiter Graduate Award Recipient

Master's Degree Awarded in January, 2009

Expected graduation: August, 2013

Bachelor of Computer Science: Software and Computing

Minor in Mathematics

Carleton University, Ottawa, Ontario 2002 - 2007

CGPA of 11.19/12.00

University Medal for graduating top of my class

NSERC - Undergraduate Student Research Awards (USRA), 2006 and 2007

Train-IT Exchange Program to Royal Institute of Technology (KTH), Stockholm,

Sweden (Winter 2004)

Nortel Networks Scholarship for Carleton University

Work Experience

Teaching Assistant

University of Toronto, Toronto ON 2007 - Present

Assisted in teaching courses ranging from undergraduate introductory

programming to graduate level special topics in AI

Duties included marking assignments and exams, as well as teaching tutorials

and lectures

Research/Software Developer (Co-op)

D-Wave Systems, Burnaby BC May-August 2006

Worked as part of a team to design and implement a framework for common

problems to be solved with quantum devices

Developed algorithms and software for solving and translating various NP-hard

combinatorial optimization problems

Researched graph representation techniques extensively and worked on new

graph algorithms in conjunction with researchers from local universities

Christian James Muise

Page 2

Refereed Publications

Muise, C., Mcilraith, S. A., & Beck, J. C. (2012). Improved Non-deterministic

Planning by Exploiting State Relevance. 22nd International Conference on

Automated Planning and Scheduling.

Muise, C., Mcilraith, S. A., & Beck, J. C. (2012). Optimally Relaxing Partial-

Order Plans with MaxSAT. 22nd International Conference on Automated

Planning and Scheduling.

Muise, C., Mcilraith, S. A., & Beck, J. C. (2012). DSHARP: Fast d-DNNF

Compilation with sharpSAT. Canadian Conference on Artificial Intelligence

Muise, C., McIlraith, S. A., & Beck, J. C. (2011). Monitoring the Execution of

Partial-Order Plans via Regression. 22nd International Joint Conference on

Artificial Intelligence.

Muise, C., Mcilraith, S. A., & Beck, J. C. (2011). Optimization of Partial-Order

Plans via MaxSAT. Workshop on Constraint Satisfaction Techniques for

Planning and Scheduling Problems.

De Giacomo, G., Lesperance, Y., & Muise, C. (2011). Agent Supervision in

Situation-Determined ConGolog. Workshop on Nonmonotonic Reasoning,

Action and Change

Muise, C., McIlraith, S. A., & Beck, J. C. (2010). Fast d-DNNF Compilation with

sharpSAT. Workshop on Abstraction, Reformulation, and Approximation.

Muise, C., Mcilraith, S. A., Baier, J. A., & Reimer, M. (2009). Exploiting N-gram

Analysis to Predict Operator Sequences. 19th International Conference on

Automated Planning and Scheduling.

Hsu, E. I., Muise, C., Beck, J. C., & McIlraith, S. A. (2008). Probabilistically

Estimating Backbones and Variable Bias: Experimental Overview. Principles

and Practice of Constraint Programming, 14th International Conference.

Christian James Muise

Page 3

Academic Service

Events Co-Organized

DCS Symposium on Trends in Computing (TIC), Toronto, ON. (May 2010)

Tidel Operations Research Challenge (TORC), Toronto, ON. (2011, 2012)

Papers Reviewed

(PC) AAAI Workshop on Problem Solving using Classical Planners (2012)

(PC) International Joint Conference on Artificial Intelligence (2011)

(PC) North Eastern Student Colloquium on Artificial Intelligence (2010)

International Conference on Automated Planning and Scheduling (2010)

AAAI Conference on Artificial Intelligence (2010)

North Eastern Student Colloquium on Artificial Intelligence (2008)

Skills and Qualifications

Technical Skills

Programming in C, C++, Python, Java, Javascript, PHP, XML, and HTML

Competent with all windows platforms and Unix/Linux environments

Strong understanding of project development and SVN / DVCS usage

Basic knowledge of Ontology Design

Other Skills

Excellent time-management between extra-curricular activities and scholastic

endeavours

Extremely adaptable and resourceful to different situations

Very enthusiastic and innovative when tackling a project or problem

Swift learner through observation

Volunteer Experience

Executive Member and Communications Liaison

Computer Science Society, Ottawa, ON 2006-2007

Represented the Computer Science students in the Carleton University

Students Association, New University Government, and departmental meetings

Maintained correspondence between the students and administration staff

Organized various department-oriented events for the students

Linux Administrator

Carleton Nexus Project, Ottawa ON November 2003-2007

Independently acquired the knowledge needed to properly run and maintain a

Linux based OS

Provided various services to the students including web-hosting, project

repositories, shell access, etc.

Developed and maintained websites for students, faculty, and staff

Christian James Muise

Page 4

Interests and Activities

Studied with the Strathclyde Planning Group 2009

Attend weekly strategy board game gatherings Present

Member of various soccer and ultimate intramural teams Present

Judge for University of Torongo ShowCase Competition 2010,2011

Successful completion / mentor of Google s Summer of Code 2005-2011

Captain of Carleton s ACM programming contest team 2005,2006

Attended an international study exchange to Sweden Winter 2004

Enjoyed regular ballroom and salsa dancing classes 2004-2007

References available upon request

Contact this candidate