I. personal information
Download 73.9 Kb.
|
- Navigate this page:
- Sondra Servais , Some Perspectives on Gödelian Philosophy , July
- Refereed Journals
I. PERSONAL INFORMATION Name and Title: Martin K. Solomon, Professor and Assistant Chair Address: Department of Computer and Electrical Engineering and Computer Science Florida Atlantic University Boca Raton, FL 33431 Phone: (Office) 561-297-3228 (FAX) 561-297-2800 (Cell) 954-608-2778 E-mail: marty@cse.fau.edu II. PROFESSIONAL SUMMARY My primary research and teaching interests include relational and object-relational database management systems, the Java and .NET approaches to IT, and the philosophy of computation. In particular, I am concerned with the performance analysis of database structures, the implementation of database internals (I have guided many students in the implementation and extension of my fully functional relational DBMS PEIRCE), the exposition of widely used DBMS implementations such as Oracle, and the philosophical aspects of computational complexity theory and incompleteness theorems. I have published three books for Osborne/McGraw-Hill Oracle Press. I am the creator and sole teacher of all the undergraduate and graduate CS database courses. III. PROFESSIONAL INFORMATION EDUCATIONAL BACKGROUND Academic Degrees Ph.D., Mathematics (Computer Science Option), Stevens Institute of Technology, 1976. M.S., Computer Science, Courant Institute, New York University, 1972.
EMPLOYMENT HISTORY Professor, Department of Computer and Electrical Engineering and Computer Science, Florida Atlantic University, 1981-present. Assistant Professor, Graduate School of Management, Rutgers University, 1975-1981. Member of the Technical Staff, Database Systems Research Group, Bell Laboratories, January-September, 1978. Visiting Senior Lecturer, Department of Mathematics, Stevens Institute of Technology, 1975-1981. Graduate Assistant, Computer Center, Stevens Institute of Technology, 1972-1975. Adjunct Faculty, Graduate School of Management, Rutgers University, 1972-1975. Assistant Instructor, Graduate School of Management, Rutgers University, 1969-1972. INSTRUCTIONAL EXPERIENCE Florida Atlantic University AWARDS
Undergraduate Teaching, 2006-2007.
Program Award. Recipient of College of Engineering FEEDS Exceptional Professor Award, Summer 1997. Recipient of College of Engineering FEEDS Exceptional Professor Award, Spring 1997. Recipient of 1995-1996 State of Florida Teaching Incentive Program Award. Nominee for 1994-1995 State of Florida Teaching Incentive Program Award. 1992-1993 Florida Atlantic University Award for Excellence in Undergraduate Teaching. Outstanding Achievement Award, 1990. UNDERGRADUATE COURSES Applied Database Systems Component-based Programming in the .NET Environment Oracle DBA I Foundations of Computer Science File Organization Methods Data Structures and Analysis of Algorithms Quantitative Methods in Management Principles of Software Design Independent Studies on UNIX Independent Studies on Relational Database Systems Independent Studies on Object-Oriented Database Systems Programming Languages and Systems Senior Seminar on Computer Ethics GRADUATE COURSES Component-based Programming in the .NET Environment Philosophy of Computation Database Design New Directions in Database Systems Generalized Database Management Systems Theory and Implementation of Database Systems Computability and Complexity Advanced Operating Systems: UNIX Internals Special Topics in Computer Science: Theory of Computation Logic Programming Database Internals
GRADUATE COMPUTER SCIENCE COURSES Database Management Systems Theory of Computation Introduction to Computational Complexity Logical Design of Computers Artificial Intelligence: Natural Language Processing Theory of Automata and Formal Languages MASTER’S THESES SUPERVISED Jose Hurtado, Reducing Impedance Mismatch when Embedding SQL in Object-Oriented Programming Languages, Summer 2011 (projected date of completion). Sondra Servais, Some Perspectives on Gödelian Philosophy, July,2007. Gene Rivero, A Relational Algebra Implementation, November, 2003.
Murtuza Ghouse, A Critical Comparison of JavaBlend, JDBC, and SQLJ, November, 2001. Anjali Borkar, SQLJ: A High-Level Embedding of SQL in Java, November, 1999. Li He, An Investigation of Oracle8i, November, 1999. Yongjian Ren, Distributed Web-Based Database Systems, April, 1998.
1996.
August 1994. Zaiwu Wu, A Survey of Object-Oriented Features in SQL3, August 1994.
1993.
philosophy of computation. PUBLICATIONS Books Oracle9i SQLJ Programming (with Nirva Morisseau-Leroy and Gerald Momplaisir), Oracle Press, Osborne McGraw-Hill, Berkeley, California, July 2001.
(with Nirva Morisseau-Leroy and Julie Basu), Oracle Press, Osborne McGraw-Hill, Berkeley, California, October 2000.
Gerald Momplaisir), Oracle Press, Osborne McGraw-Hill, Berkeley, California, November 1999.
Martin K. Solomon, "Abstract Complexity Theory and the Mind- Machine Problem", The British Journal for the Philosophy of
Applied to the Analysis of Hash-Structured Files", AEÜ International Journal of Electronics and Communications, Vol. 47 (1993), pp. 336-341. "Measure Independent Gödel Speed-ups and the Relative Difficulty of Recognizing Sets", Mathematical Logic Quarterly, Vol. 39 (1993), pp. 384-392. "Relativized Gödel Speed-up and the Degree of Succinctness of Representations", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 36 (1990), pp. 185-192. N.S. Coulter, R.B. Cooper, and M.K. Solomon, "Information Theoretic Complexity of Program Specifications", The Computer Journal, Vol. 30 (1987), pp. 223-228. "A Connection Between Blum Speedable Sets and Gödel's Speed-up Theorem", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 33 (1987), pp. 417-421. Martin K. Solomon and Riva W. Bickel, "Self-Assessment Procedure XV: A Self-Assessment Procedure Dealing with File Processing", Communications of the ACM, Vol. 29 (1986), pp. 745-751.
Bucket Overflow", ACM Transactions on Database Systems, Vol. 9 (1984), pp. 392-408. "Some Results on Measure Independent Gödel Speed-ups", Journal
(International Society for the Systems Sciences), July 2000. "On the Philosophy of Kurt Gödel", Proceedings of the 44th Annual Conference of ISSS, July 2000. M.K. Solomon and C. Kirshen, "PEIRCE: A Relational DBMS for Small Systems", Proceedings of ACM SIGSMALL/SIGMOD Conference on Small Systems, 1981, pp. 152-161. "Some Properties of Relational Expressions", Proceedings of the 17th Annual ACM Southeast Conference, 1979, pp. 111-116. "Complexity of Formal and Natural Systems", Proceedings of the 23rd Annual Meeting of the Society for General Systems Research, 1979, pp. 119-123. C. Ying, N. Bromberg, and M.K. Solomon, "Toward a Simulation Model of the Stock Market", Proceedings of the Fifth Winter Simulation Conference, 1971, pp. 125-130. Refereed Entry in Book "Computer Software, Database Management", Handbook for Professional Managers, Second Edition, ed. L.R. Bittel and J.E. Ramsey, McGraw-Hill (1985). Nonrefereed Publications Martin K. Solomon, "On Kurt Gödel's Philosophy of Mathematics," Athenaeum Library of Philosophy, 2007. Martin K. Solomon, "Some Remarks on Gödelian Philosophy", Bulletin Symbolic Logic 11 (2005), no. 1. Frequent contributor to the South Florida Oracle User Newsletter. Recent articles include "The ORACLE Storage Structures: Indexes, Clusters, and Hash Clusters", "A Brief History of ORACLE", "An ORACLE Quiz", and "Object-Relational Features of ORACLE8". N.S. Coulter and M.K. Solomon, "Review of 'The Mutual Exclusion Problem' (Parts I and II)" (by L. Lamport, Journal of the ACM, Vol. 33 (1986), pp. 313-326, 327-348), Computing Reviews (1987).
Redundant Recursive Computations", presented at 1985 ORSA/TIMS Conference on Computational Probability. "Optimization of Program Size", presented at ORSA/TIMS Conference, 1984. Documentation for PEIRCE: A Relational Database Management System, user's manual, 1981. "A Note on Measure Independent Gödel Speed-ups with Respect to Blum Complexity Measures", Journal of Symbolic Logic, Vol. 44 (1979), p. 471.
Differential Ideals", New Directions and Recent Results in Algorithms and Complexity, ed. R. Karp and J. Traub, Academic Press, 1979. "The Undecidability of the Equivalence Problem for Relational Expressions", Technical Memorandum, Bell Telephone Laboratories, Holmdel, N.J., 1978.
Adaptive Decision", presented at ORSA/TIMS Conference, 1976. "Statistical Analysis of Stock Market Prices", Master's Thesis, (S. Varahdan, advisor), Courant Institute, New York University, 1972.
the Association for Symbolic Logic, Carnegie Mellon University, May 19—23, 2004.
User Group, October 2000. "Advanced Topics in Databases for Internet Applications", Cylex Advanced Internet Technology Series, September 2000. Martin K. Solomon, "Connectionism, Gödel's Theorem, and the Foundations of Cognitive Science", Seventh International Computing and Philosophy Conference, August 1992.
Machine Problem", Meeting of the Florida Philosophical Association, June 1991.
invited seminar at Florida International University, Fall 1987.
divided among all participants) Total amount of research grants: $318,000 Total amount of software and equipment grants: over $1,000,000 Lake Okeechobee Ecosystem Study Graphical User Interface, co-PI, $85,000 Award from the South Florida Water Management District (with M. M. Larrondo-Petrie), Fall 1997 - present.
drive by Motorola Corp. for use in my database classes in exchange for my creative database services.
Inc., 1997-2002 (value: over $1,000,000). Data Model for a Scientific Data Description Language, co-PI, $8,000 Award from the South Florida Water Management District (with M. M. Larrondo-Petrie), January 1, 1996 - September 30, 1996.
$25,000 Award from the South Florida Water Management District (with M. M. Larrondo-Petrie), July 1, 1995 - December 31, 1996.
Science and Engineering," co-PI, $150,000, 1991-1993 (with R.B. Cooper and Shun-Chen Niu).
processing functions to microstore, Fall 1984, $25,000 (with N.S. Coulter).
the IBM SERIES/I computer, 1982-1983 academic year, $31,855 (with N.S. Coulter).
American Mathematical Society (AMS) Meeting, October 2009. Member of Organizing Committee, LFCS '09, Logical Foundations of Computer Science Conference, January 2009. Consulting contract with the Atlantic Oceanographic and Meteorological Laboratory (AOML) of the National Oceanic and Atmospheric Administration (NOAA) to determine the DBMS to be used throughout the AOML site, Spring 1997. As an NSF Advisory Panel Member, reviewed a grant proposal on distributed databases for the IRI - Database and Expert Systems NSF Program, Centers for Research and Science Technology, Spring 1998. Membership in Professional Societies Association for Computing Machinery ACM Special Interest Groups on Automata and Computability ADA Management of Data Artificial Intelligence Programming Languages Association for Symbolic Logic Current University Service Assistant Chair for Assessment, Department of Computer and Electrical Engineering and Computer Science. Director of Computer Science Undergraduate Program, Department of Computer and Electrical Engineering and Computer Science. Chair of Undergraduate Programs Committee, Department of Computer and Electrical Engineering and Computer Science. Chair of ABET/SACS Committee, Department of Computer and Electrical Engineering and Computer Science. Author of ABET/CAC Interim Report for the Undergraduate Computer Science program, June 30, 2010. Author of CS Self-Study for 2008 ABET accreditation visit. Significantly modified CE Self-Study. ABET accreditation contact for both the CS and CE programs.
Electrical Engineering and Computer Science. Member of Undergraduate Programs Committee, College of Engineering and Computer Science. Member of ABET/SACS Committee, College of Engineering. Member of FAU Undergraduate Teaching/Advising Awards Committee, College of Engineering and Computer Science. Refereeing Service Refereed papers for the Journal of Computer and Systems Science, Winter Simulation Conference, Communications of the ACM, ACM Transactions on Database Systems, International Journal of Mini and Micro Computers, British Journal for the Philosophy of Science. Reviewed numerous books for publishers, including An Introduction to Database Systems, Eighth Edition, C.J. Date, Addison-Wesley. Directory: ceecs ceecs -> Academic Regulation ceecs -> Program Office: Science Building III, 317 Telephone: (661) 654-3082 email Download 73.9 Kb. Share with your friends:
|