Aspects of Molecular Computing

EDUCATION: PhD June 1, 1993 Department of Mathematical Sciences, SUNY at Binghamton Title: Synchronizing Representations of Sofic Systems; Fall 1988 - Spring 1993 Graduate course work at SUNY Binghamton; Spring 1985 - Spring 1987 Graduate course work at University of Belgrade; Fall 1980 - Fall 1984: B.S. in Mathematics and Computer Science University 'Kiril i Metodij' - Skopje Skopje, Macedonia. Graduation: October 31, 1984. Graduation thesis: The Word Problem in Groups. POSITIONS HELD: Fall 1998 - present: Associate Professor at the University of South Florida, Tampa Florida. Fall 1993 - Spring 1998: Assistant Professor at the University of South Florida, Tampa Florida. January 1993 - August 1993: Research Assistant at SUNY-Binghamton, supported by the NSF grant CCR-9201345 Summer 1989, Summer 1990 - Fall 1992: Teaching Assistant, Dept. of Math. Sciences, SUNY-Binghamton; Fall 1988 - Spring 1990: Grading Assistant, Dept. Math. Sciences, SUNY-Binghamton, April 1985 - June 1988: Full time employment as assistant, Faculty of Natural and Mathematical Sciences, University 'Kiril i Metodij'-Skopje (Macedonia). AWARDS AND MEMBERSHIPS: DNA Computation of Complex Problems Research and Creative Scholarship Award, Division of Sponsored Research USF; January 1993 - August 1993 Supported by the NSF grant CCR-9201345 at SUNY Binghamton. Best graduating student of the year 1984; Faculty of Natural and Mathematical Sciences at the University 'Kiril i Metodij' - Skopje. Professors Paun and Rozenberg have published/edited quite a number of Springer books in the past years.

• Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.- Writing Information into DNA.- Balance Machines: Computing = Balancing.- Eilenberg P Systems with Symbol-Objects.- Molecular Tiling and DNA Self-assembly.- On Some Classes of Splicing Languages.- The Power of Networks of Watson-Crick D0L Systems.- Fixed Point Approach to Commutation of Languages.- Remarks on Relativisations and DNA Encodings.- Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems.- Digital Information Encoding on DNA.- DNA-based Cryptography.- Splicing to the Limit.- Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs.- n-Insertion on Languages.- Transducers with Programmable Input by DNA Self-assembly.- Methods for Constructing Coded DNA Languages.- On the Universality of P Systems with Minimal Symport/Antiport Rules.- An Algorithm for Testing Structure Freeness of Biomolecular Sequences.- On Languages of Cyclic Words.- A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems.- Formal Languages Arising from Gene Repeated Duplication.- A Proof of Regularity for Finite Splicing.- The Duality of Patterning in Molecular Genetics.- Membrane Computing: Some Non-standard Ideas.- The P Versus NP Problem Through Cellular Computing with Membranes.- Realizing Switching Functions Using Peptide-Antibody Interactions.- Plasmids to Solve #3SAT.- Communicating Distributed H Systems with Alternating Filters.