From Fedora Project Wiki

Revision as of 00:42, 30 April 2012 by Jcp (talk | contribs) (Created page with "Welcome to all Fedora Linux enthusiasts! JCP is short for John C. Peterson. My formal academic training is in the area of Mathematics and Physics (double major, BA), Applied Ma...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Welcome to all Fedora Linux enthusiasts!

JCP is short for John C. Peterson.

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

My earliest practical experience with computers dates back to the late 1960's. In the early 1980's, I worked at the Lawrence Livermore National Laboratory. There I was first exposed to UNIX (the Symbolic Symbolic Manipulation Program, or SMP, which eventually became Mathematica, only ran on UNIX machines at the time) and I also enjoyed working on the super-computers of that era (mainly the CDC 7600, and the CRAY-1S).

Interests

Mathematics, Engineering and Science are inherently very collaborative endeavors. The open source development model of Linux distributions like 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 scientific computing can evolve as needed, and just exactly what they do can be unambiguously verified by a direct inspection of the source.

I hope to assist with the packaging of new and useful tools for scientific computing on Fedora Linux. I have a high degree of interest in automated theorem proving, SAT and SMT solvers, and formal languages with a focus on both 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 (Technician Class, KD6EKQ), general aviation (private pilot with Glider, ASEL category ratings), and driving motorcycles (1973 Kawasaki Z1, 1989 Kawasaki ZX10).