CECM Student: Steven Kieffer

CECM Home > Members > Students > Steven Kieffer

Permanent Members Associate Members Visitors Students Past Members

Graduate Student

778.782.5617 p

778.782.5614 f

skieffer (AT) sfu.ca

SCP P8495

Dept of Mathematics CECM

Steven Kieffer

Research Interests

Automatic theorem proving.