Dr. M. Andrew Moshier

Dr. M. Andrew Moshier

Professor, Director, Center of Excellence in Computation, Algebra & Topology
Schmid College of Science and Technology; Mathematics
Office Location: Keck Center for Science and Engineering 366
Scholarly Works:
Digital Commons
Education:
California State University, Fullerton, Bachelor of Science
University of Michigan, Master of Science
University of Michigan, Ph.D.

Biography

Degrees

  • Ph.D. in Computer Science at University of Michigan, August 1988.
  • M.S. in Computer Science at University of Michigan, December 1984.
  • BS in Computer Science at California State University, Fullerton, May 1983.

Academic Experience

  • Professor, Computer Science and Mathematics. Chapman University. September 1994-present.
  • Chair of Dept. of Math and Computer Science, Jan 1997-Aug 2006.
  • Wissenschaftliche Mitarbeiter (research faculty member) Computerlinguistik, Universität des Saarlandes, Saarbrücken, Germany. June 1992 - May 1994.
  • Visiting Assistant Professor at University of California, Los Angeles in the Program in Computing, Department of Mathematics. July 1988 - June 1992.
  • Teaching Assistant at University of Michigan in the Department of Electrical Engineering and Computer Science. January 1985 - May 1988.
  • Research Assistant at University of Michigan. September 1983 - December 1986. Lecturer at California State University, Fullerton in the Computer Science Department. July 1983 - August 1983.

Related Professional Experience

  • Research consultant for Ayres-Sowell Associates and the Energy Simulation Group at Lawrence Berkeley Labs. June 1988 - present. Involved in design and implementation of SPARK, an object-oriented continuous simulation language. Major accomplishments: developed an optimization strategy for decomposing a system of equations into independently soluble subsystems.
  • Programmer. Various software companies. July 1981 - August 1986. Highlights: Designed and implemented PsyChart, a CAD tool for mechanical engineers, regarded by its distributor as an outstanding program for its longevity and maintainability (on the market for over fifteen years); implemented graphics drivers for Auto CAD; designed and implemented pre-Windows graphical user interfaces for DOS; implemented RSA-based encryption software for PC security.

Patent Pending

January 2010
Moshier, M.A. and J. Furlong, "A Faster, Scalable Method and Apparatus for
Montgomery Multiplication," USPTO Application 11/277,758, March 2006.

Recent Creative, Scholarly Work and Publications

José Gil-Férez, Piotr Blaszczyk, M. Andrew Moshier, Alberto Naibo, Marco Panza, Jean-Michel Salanskis, A Euclidean proof for the Fourth Postulate, Historia Mathematica 2025, ISSN 0315-0860, http://doi.org/10.1016/j.hm.2024.12.001.
Jipsen, P., Liang, F., Moshier, M. A., Tzimoulis, A. (2017) Partially-ordered multi-type algebras, display calculi and the category of weakening relations. Proceedings of LATD 2018.
Moshier, M. Andrew and Picado, Jorge and Pultr, Aleš, "Generating sublocales by subsets and relations: a tangle of adjunctions". Algebra Universalis, Volume 78, Number 1. Sept 2017, Pages 105--118.
G. Greco, F. Liang, M.A..Moshier, and A. Palmigiano, "Multi-type Display Calculus for Semi De Morgan Logic" in Proceedings of 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017. Springer
R.N. Ball, M. A. Moshier, J.L. Walters-Wayland & A. Pultr, "Lindelöf tightness and the Dedekind-MacNeille completion of a regular s-frame" Quaestiones Mathematicae Vol. 40 , Iss. 3, April 2017, Pages 347--362.
Battachargee, P, Moshier, M. A. and Wayland, J. "Rigid frame maps and Booleanization", Topology and its Applications, Volume 194, October 2015, Pages 400-408.
M. Moshier and P. Jipsen, “Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions" Algebra Universalis, April 2014, Volume 71, Issue 2, pp 109-126
M. Moshier and P. Jipsen, “Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators" Algebra Universalis, May 2014, Volume 71, Issue 3, pp 221-234
Organized the Oxford Workshop on Duality Theory in June 2012. I worked as a co-organizer with Prof. Hilary Priestley and Dr. Leo Cabrera.
Organized Special Session on Computation on Continuous Data at the Mathematical Foundations of Programming Semantics Conference, Bath UK, June 2012