PhD Candidate
- Ph.D. Candidate, Computer Science, University of Waterloo
- B.Sc., Math and Computer Science, Wilkes University, 2012
Publications
2017
Zulkoski, E., C. Bright, A. Heinle, I. Kotsireas, K. Czarnecki, and V. Ganesh, "Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures", Journal of Automated Reasoning, vol. 58, issue 3, pp. 339, 03/2011, 2017. BibTex
Affiliation:
University of Waterloo