Curriculum Vita

ROBERT FITZGERALD MORSE

Research Interests

Infinite group theory, Engel groups, varieties of groups and computational algebra. The use of formalism in computer science including the formal specification of software systems.

Education

• Ph.D. in Mathematics from the State University of New York at Binghamton, May 1990, Luise-Charlotte Kappe advisor, thesis title: "Levi-properties in Groups".

• M.A. in Mathematics from the State University of New York at Binghamton, January 1986.

• B.S. in Computer Science from The Pennsylvania State University, May 1982

• B.A. in Psychology from The Pennsylvania State University, May 1982

Positions Held

• 2002 - present Professor of Computer Science, University of Evansville.

• 1998 - 2002 Associate Professor of Computer Science, University of Evansville.

• 1994 - 1998 Associate Professor of Mathematics and Computer Science, Eastern Nazarene College. Department chair.

• 1990 -1996 Research Associate, State University of New York at Binghamton.

• 1992 - 1994 Adjunct Lecturer, State University of New York at Binghamton.

• 1982 - 1994 Advisory Programmer, Loral Corporation (formerly IBM Federal Systems Division), Owego, NY. Duties included: Software specification, design, and implementation of Electronic Support Measures and avionics systems for various military aircraft; Directing basic and applied research in the use of formal methods in software specification and design.

• 1974 - 1978 Sergeant U.S. Army. Armor Crewman. Honorably Discharged. Vietnam Era Veteran.

Undergraduate Computer Science Courses Taught:

• Introduction to Computer Science, Computer Programming I, Data Structures, Design and Analysis of Algorithms, Operating Systems, Formal Languages and Computation Theory, File Structures, Advanced Object Oriented Programming, Computer Graphics, Cryptography..

Undergraduate Mathematics Courses Taught:

• Precalculus, Calculus III, Discrete Mathematics, Linear Algebra, Numerical Methods, Abstract Algebra I and II

Graduate Courses Taught:

• Formal Methods in Software Development, Computational Group Theory

Undergraduate Projects Supervised:

• Using Knuth-Bendix completion to solve a peg solitaire puzzle.

• Computing determinants of matrices over arbitrary commutative rings with one in polynomial time. (Freshman scholar program.)

• Application of formal language theory to the automatic classification of philosophical articles for Noesis.

• GUSTUV a program for randomized testing of Groups Algorithms and Programming (GAP) a computational system for discrete mathematics and abstract algebra.

• Group Theoretical Treatment of Particle Physics.

• The symbolic computation of the nonabelian tensor square of a free 2-Engel group of rank 3 implemented in GAP.

• Generalization of Euclid's proof to divide any line into a regular partition of any number of parts and an exposition of the new proof of this problem recently announced by two high school students.

• Group theoretical treatment of the RSA encryption technique and some algebraic generalizations.

Publications

Mathematics:

• Groups with 3-abelian normal closures, (with L.-C Kappe), Archiv der Mathematik 51 (1988), 104—110. Math Review 89h:20048.

• Levi-properties in metabelian groups,(with L.-C Kappe), Contemporary Mathematics 109 (1990), 59—72. Math Review 91g:20061.

• Levi-properties generated by varieties, Contemporary Mathematics 169 (1994), 467—474. Math Review 95h:20049.

• On the nonabelian tensor square of 2-Engel groups, (with M.R. Bacon, L.-C. Kappe), Archiv der Mathematik 69 (1997) 353—364. Math Review 98i:20042.

• Solvable Engel Groups with nilpotent normal closures, LMS Lecture Series 261, (1999), 560—567. Math Review 2000:03.

• Finite subnormal coverings of certain solvable groups, (with M. Brodie) Communications in Algebra 30 (2002), no. 6, 2569—2581. Math Review 1 908 226.

• On computing the nonabelian tensor squares of the free 2-Engel groups, (with R.D. Blyth, J.L. Redden), Proceedings of the Edinburgh Mathematical Society. Series II 47 (2004), 2, 305—323. Math Review MR2081056(2005d:20064).

• On commutators in p-groups, (with L.-C. Kappe), J. Group Theory 8 (2005), no. 4, 415—429. Math Review MR2152689.

• On commutators in groups, (with L.-C. Kappe), Groups St. Andrews 2005, London Math. Soc. Lecture Notes Ser, Cambridge Univ. Press, Cambridge (to appear).

• Advances in computing the nonabelian tensor square of polycyclic groups, Bulletin Irish Math. Soc. (to appear).

Computer Science:

• Early validation through executable specifications, (with L.P. Holmquist), Fourth Worldwide MDQ Productivity and Process Tools Symposium Proceedings, March 9-13, 1992, Thornwood, NY. pp. 113-125.

• A recommendation for the application of formalism and abstraction in specification validation , A white paper for the National Institute of Standards and Technology, Center for High Integrity Software and Systems Assurance, January 1995.

Psychology:

• CONJT: Program for solving finite conjoint additivity. (with H. Thomas), Applied Psychological Measurement 202 (1981), 5.

Invited Talks and Special Sessions

• Levi-properties generated by varieties, Special Session on Group Theory, The 93rd. Annual Summer Meeting of the American Mathematics Society, Ohio State University, Columbus, Ohio, August 8—11, 1990.

• Computing the nonabelian tensor product of groups, St. Louis University, March 8, 2001.

• Computing the nonabelian tensor square of finitely presented groups, St. Louis University, March 9, 2001.

• Finite subnormal coverings of certain solvable groups, Special Session on Group Theory, Regional Meeting of the American Mathematics Society, Ohio State University, September 21—23, 2001.

• Computing the nonabelian tensor square of the Free 2-Engel groups, Groups in Galway, National University of Ireland–Galway, Galway, Ireland, May 23—2 4, 2003.

• Computing Homological Functors of the Free 2-Engel groups, Special Session on Infinite Group Theory and Group Rings, Regional Meeting of the American Mathematics Society, State University of New York, Binghamton, NY, October 11—12, 2003.

• Computing the nonabelian tensor square of polycylic groups at the Graduate Algebra Seminar, SUNY Binghamton, Binghamton, New York.. December 7, 2004.

• Characterizing the n-Engel property as a Levi-property, Algebra Seminar, Saint Louis University, St. Louis, Mo. March 3, 2005

• Advances in computing the nonabelian tensor square of polycyclic groups, Groups in Galway, National University of Ireland—Galway, Galway, Ireland, May 12-14, 2005.

• Computing the nonabelian tensor square of finitely generated groups, Special Session on Infinite Group Theory, Regional Meeting of the American Mathematics Society, Bard College, Annandale-on-Hudson, New York, October 8—9, 2005.

Professional Organizations

• American Mathematical Society

Grants and Awards:

• Development and Infusion of Formal Software Development Techniques, Outstanding Technical Achievement Award, IBM Corporation. Award amount $10,000. Year Awarded 1992

• Specification Techniques using SEDL , Loral Federal Systems Company, University Agreement Number 236820. Grant amount $16,000. Year awarded 1994.

• Computational Advances in Abstract Algebra , ARSAF Grant, University of Evansville. Grant amount $1230. Year awarded 1998.

• Resources for pedagogy , EXCEL Mini-grant. Grant amount $400. Year awarded 1999.

• Computing Congruence Lattices of Finite Universal Algebras, ADVANTAGE Undergraduate Research Project. Grant amount $8380. Year awarded 1999.

• University of Evansville Dean's Teaching Award. Year Awarded May 2000.

• Algebraic structures to support a computational infrastructure for semigroups in GAP, ADVANTAGE Undergraduate Research Project. Grant amount $10,500. Year awarded 2001.

• Sadelle and Sydney Berger Annual Award for Scholarship, University of Evansville, Fall 2002.

• Computing Homological Functors, ARSAF Grant, University of Evansville. Grant amount $500. Year awarded 2003.

• Computational Algebraic Topology, ARSAF Grant, University of Evansville. Grant amount $800. Year awarded 2003.

• Computing group resolutions, National University of Ireland-Galway (NUIG) Millennium Research Grant. Grant amount 3000 euros. October 2004.

• Curriculum Initiatives in support of the MSCSE Degree Program, Faculty Development Grant from the Lilly Endowment Inc., January 2005.

Consulting and Visiting Positions

• American Cardiac Ablation. Formal software specification of a safety critical embedded software system to be used in a medical device. December 1996-April 1997.

• Infrastructure and Algorithms for Semigroups in GAP: Visit of Robert F. Morse, University of St. Andrews, St. Andrews, Scotland. Sponsored by the Edinburgh Mathematical Society. Summer 2000.

• Visiting Researcher at the National University of Ireland – Galway. May –August 2005.

Personal Data

• Married, Three children ages 29, 26, and 21. U.S. Citizen.