I. personal information



Download 73.9 Kb.
Date07.08.2017
Size73.9 Kb.




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.
B.A., Mathematics, Rutgers University, 1969.



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
Recipient of University Award for Excellence and Innovation in

Undergraduate Teaching, 2006-2007.
Nominee for 2001-2002 State of Florida Teaching Incentive

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
Rutgers Graduate School of Management
Analytical Techniques I (deterministic optimization methods)
Analytical Techniques II (stochastic optimization methods)
Basic Statistical Methods
Basic Mathematical Methods (applied calculus for business)
Econometrics
Introduction to Computers
Database Management Systems


Stevens Institute of Technology

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.
Eddie Djaja, Information Methodologies and Modeling, December,

1996.
Sergio L. Lostal, Software Development for Ecological Data

Systems, December, 1996.
Hemanth Vijayanagaram, The Class = Domain Approach to Object-

Relational Database Systems, December, 1996.
Bruce Hard, The Evolution and Extension of PEIRCE RDBMS,

August 1994.


Zaiwu Wu, A Survey of Object-Oriented Features in SQL3, August

1994.
Augustus John, An Evaluation of the POSTGRES DBMS, December

1993.
Sam Hsu, The Implementation of PEIRCE: A Portable and

Efficient Database Management System, December 1984.


SCHOLARLY ACHIEVEMENTS
Interests
Database management systems, computational complexity theory,

philosophy of computation.



PUBLICATIONS
Books
Oracle9i SQLJ Programming (with Nirva Morisseau-Leroy and

Gerald Momplaisir), Oracle Press, Osborne McGraw-Hill,

Berkeley, California, July 2001.
Oracle8i Java Component Programming with EJB, CORBA, and JSP

(with Nirva Morisseau-Leroy and Julie Basu), Oracle Press,

Osborne McGraw-Hill, Berkeley, California, October 2000.
Oracle8i SQLJ Programming (with Nirva Morisseau-Leroy and

Gerald Momplaisir), Oracle Press, Osborne McGraw-Hill,

Berkeley, California, November 1999.


Refereed Journals

Martin K. Solomon, "Abstract Complexity Theory and the Mind-

Machine Problem", The British Journal for the Philosophy of

Science, Vol. 45 (1994), pp. 549-554.
Robert B. Cooper and Martin K. Solomon, "Teletraffic Theory

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.
Robert B. Cooper and Martin K. Solomon, "The Average Time Until

Bucket Overflow", ACM Transactions on Database Systems, Vol.

9 (1984), pp. 392-408.

"Some Results on Measure Independent Gödel Speed-ups", Journal

of Symbolic Logic, Vol. 43 (1978), pp. 667-672.

Refereed Conference Proceedings (all items listed are full papers)
"Tachyon Inertial Frames and the Nature of Space-Time",

Proceedings of the 44th Annual Conference of ISSS

(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).
Martin K. Solomon and Robert B. Cooper, "Naturally Recurring

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.
"A Complexity Theoretic Characterization of Non-Recursive

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.
E. Maskin, C. Ying, and M.K. Solomon, "Admissibility of

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.

Selected Presentations
"Some Remarks on Gödelian Philosophy", 2004 Annual Meeting of

the Association for Symbolic Logic, Carnegie Mellon

University, May 19—23, 2004.
"New Developments in Oracle and Java", South Florida Oracle

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.
Martin K. Solomon, "Abstract Complexity Theory and the Mind-

Machine Problem", Meeting of the Florida Philosophical

Association, June 1991.
"Relational Database Programming in the UNIX Environment",

invited seminar at Florida International University, Fall

1987.

RESEARCH
Sponsored Research (all the involvement in each item is equally

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.
Provision to the CSE Dept. of a Sparc20 Fileserver and hard

drive by Motorola Corp. for use in my database classes in

exchange for my creative database services.
Informix for Innovation Educational Grant, Informix Software

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.
Water Quality Monitoring Databases and Data Verification, co-PI,

$25,000 Award from the South Florida Water Management District

(with M. M. Larrondo-Petrie), July 1, 1995 - December 31,

1996.
NSF grant "Queueing Theory and Its Application to Computer

Science and Engineering," co-PI, $150,000, 1991-1993 (with

R.B. Cooper and Shun-Chen Niu).
A Q.I.P. grant to study the migration of critical UNIX data

processing functions to microstore, Fall 1984, $25,000 (with

N.S. Coulter).
A Q.I.P. grant to compare the RPS and EDX operating systems on

the IBM SERIES/I computer, 1982-1983 academic year, $31,855

(with N.S. Coulter).

PROFESSIONAL SERVICE
Organizing member, Special Session on Constructive Mathematics,

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.
Member of Executive Committee, Department of Computer and

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.

Download 73.9 Kb.

Share with your friends:




The database is protected by copyright ©ininet.org 2020
send message

    Main page