User:John Halleck

The account of this former contributor was not re-activated after the server upgrade of March 2022.

Home page: http://www.cc.utah.edu/~nahaj/

Born early 1950's in Germany.

B.S. Degree in Computer Science from the University of Utah. Currently a Senior Systems Analysist for that organization. 35 Graduate hours in Philosophy (All logic courses) Past Adjunct Faculty in Philosophy (Ethics) at the University of Eastern Illinois.

Maintainer of the largest collection of Modal Logics (with sources!) on the net.

One published paper in a refereed journal: "Least Squares Network Adjustments via QR Factorization" in "Surveying and Land Information Systems" (now retitled "Surveying and Land Information Sciences").

Author of a number of articles in various publications in various topic areas, including (for example) the Utah Council of Land Surveyor's "Foresights"

Interests in mathematics (Especially Block Givens rotations), logic (especially Modal Logics), surveying (especially network adjustments), needlepoint (especially two pass stiches), Cave Rescue (especially new kinds of equipment), etc. ...

Amateur flint knapper. Bicyclist.

Life member of the National Speleological Society, American Cave Conservation Association, and the National Association for Search and Rescue. Affiliate member of the Utah Council of Land Surveyors. Regular member of a number of other organizations.