Faculty

Faculty Member

Andrea Bulatov

Andrei A. Bulatov (abulatov @ cs.sfu.ca; +1-604-268-6913)
Constraint Satisfaction and Related Problems

thumb_jim

James P. Delgrande (jim @ cs.sfu.ca; +1-604-291-4335)
Belief Revision, Nonmonotonic Reasoning, Reasoning with Preferences.

Andrea Bulatov

Arvind Gupta (arvind @ cs.sfu.ca; +1-604-268-6653)
Combinatorics and Complexity

Andrea Bulatov

David Mitchell (mitchell @ cs.sfu.ca; +1-604-268-6673)
Constraint Satisfaction, SAT, Theorem Proving, Complexity.

Andrea Bulatov

Oliver Schulte (oschulte@cs.sfu.ca; +1-604-291-4335)
Machine Learning, Computational Decision Theory.

Andrea Bulatov

Eugenia Ternovska (ter@cs.sfu.ca; +1-604-291-4771)
Knowledge Representation, Formal Verification, Complexity.



Associate Members

Andrea Bulatov

Marc Denecker (marcd@cs.kuleuven.ac.be; +32(0)16 32.75.44)
Logic Programming, Knowledge Representation.

Andrea Bulatov

Torsten Schaub (torsten@cs.uni-potsdam.de;+49-331-977-3080/3081)
Knowledge Representation and Reasoning, Automated Reasoning.