1993-2002
Associate Professor of Mathematics, Saint Louis College of Pharmacy, Saint Louis, USA. For a detailed description of my teaching responsibilities and activities see my Teaching Portfolio.
Awards 
(1994-1996) Appointed by the Interactive Mathematics Text Project of the Mathematical Association of America as an IMTP Developer to develop what has now evolved into my interactive, computer-based calculus text: Calculus for Kinetic Modeling (CKM). (1994) Research grants awarded by St. Louis College of Pharmacy Creative Teaching Fund Committee, which supported the work that led to my being appointed as an IMTP Developer.

Scholarly Activity
Mathematics Pedagogy (1994-Present)
Conference Presentations, Published Abstracts/Articles, CKM Internet text

Scholarly Activity
Logic, Mathematics, & Computer Science (1990-Present)
Conference Presentations, Published Abstracts/Articles

1990-1993
Scientist, McDonnell Douglas Research Laboratories, Saint Louis, USA. Automated Reasoning Systems Independent Research and Development Project: developed new algorithms for quickly revising a knowledge base of plan assumptions for fast inference in environments with limited computational resources; in addition, several expert systems and decision models were developed for various air vehicle applications.
Award
(1992) Corporate Performance Bonus Award. 

1987-90
Assistant Professor of Mathematics and Computer Science, Webster University, Saint Louis, USA. Teaching responsibilities included courses in vector calculus, linear algebra, differential equations, artificial intelligence, expert systems, Lisp, Prolog, compiler construction (UMR-Saint Louis), and cognitive science.

1980-87
Statistical Data Analyst, Washington University School of Medicine, Saint Louis, USA. Consulted with physicians supporting research by maintaining databases and analyzing data (various SAS procedures including survival analysis) for large collaborative studies in the Department of Psychiatry.

Education

Ph.D., Logic and the Methodology of Science, Washington University (1987), Saint Louis, USA. The first graduate of this interdisciplinary doctoral program in mathematics and philosophy, which is modeled on the program of the same name at the University of California at Berkeley. 
Doctoral Dissertation: Applications of the Combinatorial Theory of Ideals.
M.A., Philosophy (Logic), Washington University, Saint Louis.
M.A.T., Mathematics, Webster University, Saint Louis.
B.S., Mathematics, Washington University, Saint Louis.
State of Missouri Life Teacher Certification:   Mathematics 7-12; Physics 7-12

Professional Service

Host and Chair of Local Organization for the twelve day IMTP advanced developers’ capstone event: The 1995 Interactive Mathematics Text Project Developers' Conference and Workshop, Saint Louis College of Pharmacy, Saint Louis.
Referee
Journal of Logic and Computation
Journal of Symbolic Logic 

Skills

JBuilder 6.0, Java, Javascript, HTML, JavaSketchpad, Geometer's Sketchpad, Adobe Photo Deluxe, Visual C++ 6.0, C, C++, Maple, Lisp, Prolog, SAS, SPSS, BMDP, Basic, Fortran. 

CV-Résumé MS Word File

E-mail: pais@kinetigram.com