|
Faculty Members
Andrei Bulatov
Jim P. Delgrande
Arvind Gupta
David Mitchell
Jeff Pelletier
Oliver Schulte
Eugenia Ternovska
Associate Members
Marc Denecker
Torsten Schaub
Post-Doctoral Fellows
Josh Buresh-Oppenheim
Antonina Kolokolova
Yongmei Liu
Graduate Students
Maryam Aliyar
Faraz Hach
Hassan Khosravi
Wei Luo
Raheleh Mohebali
Murray Patterson
Evgeny Skvortsov
Research Assistants
Brendan Guild
Nhan Thanh Nguyen
Grad Alumni
Diana Cukierman (PhD)
Eric Evangelista (MSc)
Jens Happe (PhD)
Aaron Hunter (PhD)
Joey Hwang (MSc)
Jonathan Kavanagh (MSc)
Mayu Ishida (MSc)
Daphne Liu (MSc)
Lawrence Ryan (MSc)
Calvin Kai Fan Tang (MSc)
Research Assistants (Past)
(A very partial list)
Chris Balavessov
Belle Chua
Leila Kalantari
James Shew
|
Faculty Members
 |
 |
Andrei
A. Bulatov (abulatov@cs.sfu.ca; +1-604-268-6913) |
| Constraint Satisfaction and Related Problems |
| |
 |
 |
|
James
P. Delgrande (jim@cs.sfu.ca; +1-604-291-4335) |
| Belief Revision, Nonmonotonic Reasoning, Reasoning with Preferences. |
| |
|
 |
|
Arvind
Gupta (arvind@cs.sfu.ca; +1-604-268-6653) |
| Combinatorics and Complexity |
| |
|
 |
|
David
Mitchell (mitchell@cs.sfu.ca; +1-604-268-6673)
|
| Constraint Satisfaction, SAT, Theorem Proving, Complexity.
|
| |
|
 |
|
Oliver
Schulte (oschulte@cs.sfu.ca; +1-604-291-4335) |
| Machine Learning, Computational Decision Theory. |
| |
|
 |
|
Eugenia
Ternovska (ter@cs.sfu.ca; +1-604-291-4771) |
| Knowledge Representation, Formal Verification, Complexity.
|
| |
|
Associate Members
 |
|
Marc
Denecker (marcd@cs.kuleuven.ac.be; +32(0)16 32.75.44) |
| Logic Programming, Knowledge Representation. |
| |
|
 |
|
Torsten
Schaub (torsten@cs.uni-potsdam.de;+49-331-977-3080/3081) |
| Knowledge Representation and Reasoning, Automated Reasoning.
|
| |
|
Graduate Students and Research Assistants
| Wei
Luo (PhD) |
 |
Learning Theory and Causal Inference |
|
| Raheleh Mohebali(MSc) |
|
Model Expansion Project |
|
| Mona Seregi (MSc) |
|
Knowledge Representation, Data Mining, Fuzzy Systems, Intrusion Detection and Genetic Algorithms |
|
| Evgeny Skvortsov (PhD) |
|
Constrain Satisfaction Problem, Local Search, Heuristics Development and Analysis |
|
Past Graduate Students and Resarch Assistants
| Chris Balavessov (RA) hvb@cs.sfu.ca |
|
Reasoning with Cutting Planes |
|
| Diana Cukierman (PhD), diana@cs.sfu.ca |
|
Formal Representation of Structured Temporal
Objects and Repetition |
|
| Eric Evangelista (MSc), eevangel@cs.sfu.ca |
|
Formal Methods for Handling Database Inconsistencies |
|
| Aaron
Hunter (PhD), amhunter@cs.sfu.ca |
|
Epistemic logic, security, finite model theory. |
|
| Jens Happe (PhD), jhappe@cs.sfu.ca |
|
Theorem Proving in Modal Logics |
|
| Leila Kalantari (Msc), lkalanta@cs.sfu.ca |
|
Formal Verification of ConGolog Programs |
|
| Mayu Ishida (Msc) |
|
Model Checking with the Inductive Situation Calculus |
|
| Lawrence Ryan (Msc) |
|
SAT for Electronic Design Automation |
|
| Calvin Kai Fan Tang (RA) |
|
Abstract State Machines |
|
|
