David B. Sears

MSc. Candidate
Formal Languages & Automata Research Group
School of Computing
Queen's University
Kingston, ON, K7L 3N6, Canada
office: Goodwin Hall Room 724
email: sears [ at ] cs.queensu.ca

David B. Sears


My supervisor is Dr. Kai Salomaa. I am currently investigating properties of Watson-Crick Lindenmayer (L) Systems (specifically Extended 0L systems) with regular triggers. To find out more about L Systems in general, refer to "G. Rozenberg and A. Salomaa, The Mathematical Theory of L systems. Academic Press, New York, London, 1980." Several papers have been published on Watson-Crick L Systems. Authors of the most recent papers on this topic include Arto Salomaa, Petr Sosík, Judit Csima and Erzsébet Csuhaj-Varjú. Refer to their publications for a complete listing of papers in this area.

TA Duties

  • CISC223 - Software Specifications (01/11/2010 - Current)
  • CISC235 - Data Structures (01/14/2008 03/26/2008)