Graduate Students

  1. M.Sc. Ryan McIntyre, to be completed May 2017. Thesis title: Bounding the size of minimal clique covers.
  2. M.Sc. Chris Kuske, to be completed May 2017. Thesis title: Derivation of consistent pairwise matrices.
  3. M.Sc. Dhruv Pandya, competed December 2017. Thesis title: Voyager: Identifying IPs from Online Clicks.
  4. M.Sc. Hita Gambheer, completed December 2016. Thesis title: Design Safety Verification of Medical Device Models using Automata Theory.
  5. M.Sc. Joel Helling, completed June 2016. Thesis title: Constructing an Indeterminate String from its Associated Graph.
  6. M.Sc. Hita Gambheer, completed December 2016. Thesis title: Design Safety Verification of Medical Device Models using Automata Theory
  7. Ph.D. Neerja Pophli, completed August 2016. Thesis title: A Generalization of Square-Free Strings.
  8. Ph.D. Mohamed Sabry, in progress, expected to finish 2018.  Subject: Complexity/Cryptography.
  9. Ph.D. Ariel Fernández, completed August 2013. Thesis title: Formalizing combinatorial matrix theory.
  10. M.Eng. Filip Jeremic, completed May 2013. Project title: Parallel Lattice Basis Reduction.
  11. M.Sc. Dragan Rakas, completed May 2013. Thesis title: A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language.
  12. M.Eng. Mohamed Sabry, completed May 2011. Thesis title: An implementation of the GGH cryptosystem.
  13. Ph.D. Greg Herman, completed March 2009. Thesis title: Unambiguous functions in logarithmic space.
  14. M.Sc. Craig Wilson, completed May 2008. Thesis title: Computing winning strategies for poset games.
  15. M.Sc. Tim Paterson, completed April 2006. Thesis title: A propositional proof system with permutation quantifiers.
  16. M.Sc. Yu-Tong HE, co-supervised with Dr. Janicki, completed June 2003. Thesis title: Verification of the WAP Transaction Layer using Model Checker SPIN.