## About Me

Welcome to all Fedora Linux enthusiasts!

My formal academic training is in the area of Mathematics and Physics
(double major, BS), Applied Mathematics (MS), and Mechanical Engineering
(MS). My interests in those disciplines continues to this day, with an
emphasis on computational physics and engineering, computational logic,
and computing for other scientific applications.

My earliest practical experience with computers dates back to the
late 1960's. I was first exposed to UNIX while working at the Lawrence
Livermore National Laboratory in the early 1980's, mostly because the
Symbolic Manipulation Program, (or SMP, which eventually became what
is known these days as Mathematica), *only* ran on UNIX based
systems at that time.

I now live in San Diego, California and work on a consultant basis in a
variety of scientific disciplines, (where computing is usually involved
in some way or another). If Linux is to be used in the work, that is
always a good thing in my book.

## Why I Prefer Linux

The disciplines of Mathematics, Engineering and Science are inherently
very collaborative endeavors. The open source development models used by
Linux distributions such as Fedora, are both very familiar and comfortable
for people like myself who are from these disciplines. In a Linux
environment, the tools I use for computing can evolve with the Science
as needed, and just exactly what they do can always be unambiguously
verified by a direct inspection of the underlying source code.

## Contributing to Fedora

I hope to assist with the advancement of Fedora by packaging new and
useful tools for mathematics, engineering, and science. I have a high
degree of interest in automated theorem proving, SAT and SMT solvers,
and formal languages with a focus on both practical applications
(e.g. software and hardware verification, systems biology) and formalized
proofs in pure mathematics.

## Other Hobbies

Some other prominent hobbies of mine include; amateur radio (Amateur Extra
Class, KD6EKQ), general aviation (private pilot certificate with Glider,
ASEL category ratings), and driving motorcycles, fixing them not so much
(1973 Kawasaki Z1, 1989 Kawasaki ZX10).

## Contact Information