Graduate Students

  1. M.Sc. Joel Helling, to be completed June 2016. Thesis title: Constructing an Indeterminate String from its Associated Graph.
  2. M.Sc. Hita Gambheer, completed December 2016. Thesis title: Design Safety Verification of Medical Device Models using Automata Theory
  3. Ph.D. Neerja Pophli, completed August 2016. Thesis title: A Generalization of Square-Free Strings.
  4. Ph.D. Mohamed Sabry, in progress, expected to finish 2018.  Subject: Complexity/Cryptography.
  5. Ph.D. Ariel Fernández, completed August 2013. Thesis title: Formalizing combinatorial matrix theory.
  6. M.Eng. Filip Jeremic, completed May 2013. Project title: Parallel Lattice Basis Reduction.
  7. M.Sc. Dragan Rakas, completed May 2013. Thesis title: A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language.
  8. M.Eng. Mohamed Sabry, completed May 2011. Thesis title: An implementation of the GGH cryptosystem.
  9. Ph.D. Greg Herman, completed March 2009. Thesis title: Unambiguous functions in logarithmic space.
  10. M.Sc. Craig Wilson, completed May 2008. Thesis title: Computing winning strategies for poset games.
  11. M.Sc. Tim Paterson, completed April 2006. Thesis title: A propositional proof system with permutation quantifiers.
  12. 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.