Curriculum Vitae. Daniela Genova

Transcription

1 Curriculum Vitae Daniela Genova Assistant Professor of Mathematics, Department of Mathematics and Statistics, University of North Florida, 1 UNF Drive, 14/2715, Jacksonville, FL Tel. (904) , Fax (904) , d.genova@unf.edu, Webpage: Education August 2007 Ph.D. Mathematics, University of South Florida, Tampa, FL Dissertation Title: Forbidding and Enforcing of Formal Languages, Graphs, and Partially Ordered Sets Dissertation Advisor: Nataša Jonoska Completed requirements for M.A. degree in Mathematics, University of South Florida, Tampa, FL M. Acc. Accounting/Taxation, University of South Florida, Tampa, FL B.A. Business Administration/Accounting, University of South Florida, Tampa, FL Academic Employment 2007-Present Assistant Professor of Mathematics, Department of Mathematics and Statistics, University of North Florida, Jacksonville, FL Adjunct Instructor (Part-time), Department of Mathematics, University of South Florida, Tampa, FL Visiting Assistant Professor of Mathematics, Department of Mathematics, Eckerd College, St. Petersburg, FL Graduate Teaching Assistant, Department of Mathematics, University of South Florida, Tampa, FL Research Interests Theory of Computation, Biomolecular Computing, Formal Language Theory, Graph Theory Refereed Research Publications D. Genova, N. Jonoska, Normal forms of forbidding and enforcing systems on graphs (in preparation) D. Genova, K. Mahalingam, Maximal Sets of DNA Codewords (in preparation) D. Genova, Normal Forms of Language Forbidding-Enforcing Systems (in preparation) 1

2 D. Genova, K. Mahalingam, Generating DNA Code Words Using Forbidding and Enforcing Systems, 1 st Int l Conference on Theory and Practice in Natural Computing, Lecture Notes in Computer Science, LNCS, Springer, Volume 7505 (2012) (to appear) D. Genova, N. Jonoska, Forbidding and enforcing on graphs, Theoretical Computer Science, Elsevier, Volume 429 (2012) , DOI: /j.tcs D. Genova, Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems, Language and Automata Theory and Applications LATA 2012, A.-H. Dediu, C. Martin-Vide (eds.), Lecture Notes in Computer Science, LNCS, Springer, Volume 7183 (2012) , DOI: / _25 D. Genova, Defining Languages by Forbidding and Enforcing Systems, Models of Computation in Context, 7 th Conference on Computability in Europe CiE 2011, B. Lowe, D. Normann, I. Soskov, A. Soskova (Eds.), Lecture Notes in Computer Science, LNCS Springer, Volume 6735 (2011) , DOI: / _10 D. Genova, N. Jonoska, Defining Structures through Forbidding and Enforcing Constraints, Physica B: Condensed Matter, Volume 394 (2) (2007) , DOI: /j.physb D. Genova, N. Jonoska, Topological Properties of Forbidding-Enforcing Systems, Journal of Automata, Languages, and Combinatorics, Volume 11 (4) (2006) M. Cavaliere, D. Genova, P Systems with Symport/Antiport of Rules, Journal of Universal Computer Science, Volume 10 (5) (2004) , DOI: /jucs M. Cavaliere, D. Genova, P Systems with Symport/Antiport of Rules, Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla Tech. Rep 01/2004, Gh. Paun, A. Riscos-Nunez, A. Romero- Jimenez, F. Sancho Caparrini (Eds.), Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, Spain, Feb 2-7, 2004, Invited Presentations Defining Languages by Forbidding and Enforcing Systems, Department of Mathematics Colloquium, University of Florida, Gainesville, FL, April 3, Forbidding and Enforcing Systems on Graphs, 2012 Spring Southeastern AMS Section Meeting, Special Session on Modeling Crystalline and Quasi-Crystalline Materials, University of South Florida, Tampa, FL, March 10-11, Forbidding-Enforcing Classes of Graphs, Discrete Mathematics Seminar, Department of Mathematics and Statistics, University of South Florida, Tampa, FL, March 15, Modeling Splicing with Forbidding-Enforcing Systems, Biomathematical Computing Conference: Past, Present, and Prospects, SUNY, Binghamton, NY, October 31 November 2,

3 Topological Properties of a DNA Computing Model, University of North Florida, Jacksonville, FL, January 30, Formal Languages and Forbidding-Enforcing Systems: Algebraic and Topological Properties, Indiana-Purdue University, Fort Wayne, IN, May 2, Refereed Conference Presentations Generating DNA Code Words Using Forbidding and Enforcing Systems, (with K. Mahalingam), 1 st Int l Conference on Theory and Practice in Natural Computing, Tarragona, Spain, October 2-4, Generating DNA Code Words Using Forbidding and Enforcing Systems, (with K. Mahalingam), Turing Centenary Conference CiE 2012 How the World Computes, University of Cambridge, Cambridge, United Kingdom, June 18-23, (presented by N. Jonoska) Modeling the k-colorability problem by forbidding and enforcing systems, poster presentation, Discrete and Topological Models in Molecular Biology Workshop, University of South Florida, Tampa, FL, March 12-14, Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems, 6 th International Conference on Language and Automata Theory and Applications, LATA 2012, A Coruña, Spain, March 5-9, Words, DNA Codes, and Combinatorial Problems, 45 th Joint Annual Meetings, FL-MAA and FTYCMA, University of North Florida, Jacksonville, FL, February 17-18, Generating DNA Code Words Using Forbidding and Enforcing Systems, (with K. Mahalingam), poster presentation, DNA 17: 17 th International Conference on DNA Computing and Molecular Programming, California Institute of Technology, Pasadena, CA, September 19-23, Defining Languages by Forbidding and Enforcing Systems, Models of Computation in Context, 7 th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27- July 2, Classifying Graphs through Subgraphs, 41 st Joint Annual Meetings, FL-MAA and FTYCMA, Florida Southern College, Lakeland, FL, February 15-16, Forbidding and Enforcing Graphs, Joint Mathematics Meetings AMS and MAA, San Diego, January 6, A Topological Investigation of Sets of Strings, First Coast Regional Meeting of the MAA, Jacksonville University, Jacksonville, FL, November 3, Topological Properties of a Biomolecular Computing Model, Knotting Mathematics and Art: International Conference in Low Dimensional Topology and Mathematical Art, University of South Florida, Tampa, FL, November 1, Topological Properties of a DNA Computing Model, Joint Mathematics Meetings, AMS and MAA, AWM Workshop Poster Session, New Orleans, January 5-8,

4 Topological Properties of Forbidding-Enforcing Families of Languages, 7 th International Conference on the Electrical, Transport, and Optical Properties of Inhomogeneous Media (ETOPIM 7), Sydney, Australia, July 9-13, Modeling Self-Assembly of Graphs, 39 th Joint Annual Meetings, FL-MAA and FTYCMA, Florida Atlantic University, Honors College, Jupiter, FL, February 17-18, Forbidding-Enforcing Families of Languages, 35 th Southeastern International Conference on Combinatorics, Graph Theory, and Computing, Florida Atlantic University, Boca Raton, FL, March 8-12, Models in Membrane Computing, 37 th Joint Annual Meetings, FL-MAA and FTYCMA, University of Central Florida, Orlando, FL, February 20-21, P Systems with Symport/Antiport of Rules, Second Brainstorming Week on Membrane Computing, University of Seville, Seville, Spain, Feb 2-7, Computing with Membranes, 28 th Annual Suncoast Regional Meeting of the MAA, Hillsborough Community College, Tampa, FL December 5, Some Properties of Forbidding and Enforcing Systems, Second College of Arts and Sciences Graduate Student Research Symposium, University of South Florida, Tampa, FL April 3, Morphic Properties of Forbidding and Enforcing Systems, 36 th Joint Annual Meetings, FL-MAA and FTYCMA, Jacksonville University, Jacksonville, FL, February 21-22, Forbidding and Enforcing Systems: Modeling Graph Theoretical Problems, 27 th Annual Suncoast Regional Meeting of the MAA, Florida Southern College, Lakeland FL, December 6, New Courses Designed Discrete Biomathematics, Graph Theory, Combinatorics, Mathematics for Liberal Arts (Excursions in Modern Mathematics). Courses Taught Graduate Abstract Algebra Undergraduate Graph Theory, Combinatorics, Discrete Biomathematics, Discrete Mathematics, Foundations of Mathematics, Linear Algebra, Calculus I, II, and III, Life Science Calculus I and II, Calculus for Business, College Algebra, Intensive College Algebra, Mathematics for Liberal Arts, Precalculus, Precalculus Trigonometry. Student Supervision 4

5 Graduate Kwadwo Asamoah, M.S Graduate Project and Presentation: Involutively Bordered Words Undergraduate Katie Bakewell, B.S Undergraduate Research Project: Optimizing Hamiltonian Paths in Jacksonville Shawn Sharp, B.S Capstone Paper and Presentation: The Number of Spanning Trees Shabnam Abdoly, B.S Capstone Paper and Presentation: Max-Flow Min-Cut Theorem and Its Applications Robert Polk, B.S Capstone Paper and Presentation: Planar Graphs and Kuratowski s Theorem Danielle Glaze, B.S Undergraduate Research Project: Characterizing Planar Graphs by Partially Ordered Sets Alexander Kane, B.S Capstone Paper and Presentation: DNA Involution Codes Student Conference Presentations Katie Bakewell, Optimizing Hamiltonian Paths in Jacksonville, 45 th Joint Annual Meetings of the FL-MAA and FTYCMA, University of North Florida, Jacksonville, FL, February 17-18, Alexander Kane, Involution Codes and Their Closure Properties, Undergraduate Mathematics Conference, Embry-Riddle Aeronautical University, Daytona Beach, FL, April 11, Alexander Kane, Closure Properties of Involution Codes, 42 nd Joint Annual Meetings, FL-MAA and FTYCMA, Florida Gulf Coast University, Ft. Meyers, FL, February 13-14, Danielle Glaze, Characterizing Planar Graphs by Partially Ordered Sets, First Coast Regional Meeting of the MAA, University of North Florida, Jacksonville, FL, January 30, Alexander Kane, Closure Properties of Involution Codes, First Coast Regional Meeting of the MAA, University of North Florida, Jacksonville, FL, January 30, Conference Organization and Other Conference Participation 45 th Joint Annual Meetings, FL-MAA and FTYCMA, University of North Florida, Jacksonville, FL, February 17-18, 2012 (Organizing Committee Co-Chair) 44 th Joint Annual Meetings, FL-MAA and FTYCMA, Valencia Community College, Orlando, FL, February 11-12, 2011 (Program Chair) 5

6 First Coast Regional Meeting of the MAA, University of North Florida, Jacksonville, FL, January 29, 2010 (Program and Organizing Committee Chair) First Coast Regional Meeting of the MAA, University of North Florida, Jacksonville, FL, January 30, 2009 (Program and Organizing Committee Chair) 11 th International Meeting on DNA Computing (DNA11), London, Ontario, Canada, June 6-9, 2005 (Participant) 7 th International Meeting on DNA Based Computers (DNA7), University of South Florida, Tampa, FL, June 10-13, 2001 (Student Organizer) 33 rd Joint Annual Meetings, FL-MAA and FTYCMA, University of South Florida, Tampa, FL, March 3-4, 2000 (Session Chair) Reviewer Work 14 th International Conference on Developments in Language Theory, DLT 2010, London, Ontario, Canada, August 17-20, 2010 (Referee for contributed paper submissions) UNF Summer Development Teaching Grants 2010 (Reviewer for faculty teaching grant proposals) Professional Service President, Florida Section of the Mathematical Association of America President-Elect, Florida Section of the Mathematical Association of America Vice-President for Programs, Florida Section of the MAA Vice-President for Site Selection, Florida Section of the MAA Vice-President-Elect for Programs, Florida Section of the MAA Chair, Undergraduate Curriculum Committee, UNF Department of Mathematics Vice-President-Elect for Site Selection, Florida Section of the MAA 2007-Present Undergraduate Curriculum Committee Member, UNF Department of Mathematics and Statistics (Chair: ) Grants and Awards Travel Grant from the National Science Foundation grant Discrete and Topological Models in Molecular Biology to present a poster at the Discrete and Topological Models in Molecular Biology Workshop, University of South Florida, Tampa, FL, March ($390) Travel grant from the National Science Foundation grant Computability in Europe to present a paper at the Computability in Europe Conference, CiE 2011, Sofia, Bulgaria, June 27-July 2, ($1,000) 6

7 Travel grant from the Elsevier Foundation grant Women in Computability to present a paper at the Computability in Europe Conference, CiE 2011, Sofia, Bulgaria, June 27-July 2, ($260) S.T.A.R.S. Award UNF 2011, Scholars Transforming Academic Research Symposium. UNF Faculty Development Research Grant, Summer ($7, 500) UNF, College of Arts and Sciences, Undergraduate Research Assistant award, to fund undergraduate student research. Student: Alexander Kane. ($2,800) UNF Faculty Development Research Grant, Summer ($7,500) Travel grant from the Knotting Mathematics and Art Conference grant to present at the International Conference in Low Dimensional Topology and Mathematical Art, Tampa, FL, November 1, ($200) Association of Women in Mathematics grant to participate in the AWM Workshop and present a poster at the Joint Mathematics Meetings, AMS and MAA, New Orleans, January 5-8, ($700) Travel grant from the National Science Foundation grant ETOPIM 7 Conference to present a paper at the 7 th International Conference on the Electrical, Transport, and Optical Properties of Inhomogeneous Media (ETOPIM 7), Sydney, Australia, July 9-13, ($2,800) Travel grant from the Graduate Student Business Office, USF, Tampa, FL, to present at the 35 th Southeastern International Conference on Combinatorics, Graph Theory, and Computing, Florida Atlantic University, Boca Raton, FL, March 8-12, Travel grant from the Graduate Students Business Office USF, Tampa, FL to present at the 37 th Joint Annual Meetings, FL-MAA and FTYCMA, University of Central Florida, Orlando, FL, February 20-21, Professional Memberships American Mathematical Society Association Computability in Europe Association for Women in Mathematics International Society of Nanoscale Science, Computation, and Engineering Mathematical Association of America 7