The Curriculum Vitae of Carl Sommerfeldt
January 18/07
Contact Information
Carl Sommerfeldt
408609 Davenport rd.
Waterloo, ON, N2L 6H9
(519) 8869038
http://kw.igs.net/~carlsommer/
My email address is
carlsommer at kw.igs dot net
This page displays email addresses in a manner
that deters automatic address harvesting programs
to reduce unsolicited email to these addresses.
To recover my email address remove the spaces
and replace " at " with "@"
and " dot " with ".".
Education

Master of Applied Science

1986 to 1990.
Specializing in multiprocessors and interconnection networks.
Thesis title: "Optimal hypertorus configurations
for waferscale multiprocessor
interconnection networks".
Department of Electrical Engineering, University of Toronto,
Toronto, Ontario.
Supervisor: Prof. W. M. Snelgrove.

Doctor of Philosophy (not completed)

1985 to 1986.
Specializing in theoretical condensed matter physics.
Thesis topic: "A twodimensional electronhole gas in a
semiconductor quantum well in a high magnetic field".
Department of Physics, University of Toronto,
Toronto, Ontario.
Supervisor: Prof. A. Griffin.

Master of Science

1983 to 1985.
Specializing in theoretical condensed matter physics.
Report title: "Structure
factor for a mass disordered onedimensional harmonic crystal".
Department of Physics, University of Toronto,
Toronto, Ontario.
Supervisor: Prof. A. Griffin.

Bachelor of Science

1979 to 1983.
Honors, Physics Specialist, University of Toronto,
Toronto, Ontario.
Research

private study

1992 to present.
 computer intelligence
 algorithmic compression
 theorem proving
 genetic algorithms

NSERC Undergraduate Summer Research Scholarship

1982.
Group theoretical determination of the low symmetry space group
after a commensurate structural phase transition.
Supervisor: Prof. R. Armstrong.
Scholarships
 OGS, 1986 and 1985.
 NSERC Postgraduate Scholarship, 1984 and 1983.
 J. C. McLennan Award, 1983.
Courses

1988

 data structures and data management
 computer structures

1987

 artificial intelligence
 algorithms
 VLSI design methodology
 solidstate transducers

1986

 many body theory II
 laser physics

1985

 advanced quantum mechanics
 many body theory I
 quantum field theory I
 selected topics in physics

1984

 statistical mechanics II
 electromagnetic theory
 solid state II

1983

 quantum theory
 statistical mechanics
 relativity theory
 modern optics and radiation
 group theory

1982

 quantum physics lab
 introductory condensed matter physics
 elementary particle physics
 quantum physics
 advanced classical mechanics
 electromagnetic fields and waves
 macroscopic physics

1981

 differential equations in applied mathematics
 advanced calculus
 electromagnetism
 statistical physics
 introductory theoretical physics
 oscillations and waves
 introductory quantum mechanics
 algebra
 complex variables

1980

 chemistry for physical sciences
 programming techniques and style
 computer applications
 calculus and linear algebra
 elementary mechanics
Software
 Operating Systems
 Linux, Unix.
 VMS.
 Microsoft Windows.
 Editors
 emacs, vi, ed.
 Microsoft Word.
 Markup Languages
 LaTeX, Metapost, Troff, HTML.
 Programming Languages
 C, C++.
 Prolog, Lisp, Turing, Pascal, PL/I, Cobol, Fortran.
 Java, Perl, Ruby, APL, Forth, Haskell, ML.
(I am a beginner in these languages.)
 Visual Basic for Applications.
Reading
Periodicals
 Scientific American
 Solid State Technology
 Britannica Yearbook of Science and the Future
 McGrawHill Yearbook of Science and Technology
Books
Mathematics
Printed Textbooks
 CRC Standard Mathematical Tables
 Mathematical Logic
 Multilinear Algebra
 Laplace Transforms
 General Topology
 Differential Geometry
 Calculus on Manifolds
 Foundations of Modern Analysis
 Deterministic Chaos
Subjects from the Internet
 algebra
 octonians
 universal algebra
 coalgebra
 pseudodifferential operators
 modular forms
 category theory
 graph theory
 lambda calculus
 ultrametric spaces
 algebraic number theory
 padic numbers
 set theory
 topology
 ditopology
 Riemannian geometry
 wavelets
 chaos
Computers
 theorem discovery
 algorithms
 online algorithms
 ternary search trees
 alphabalanced trees
 specification languages
 machine learning
 algorithmic information theory
 computational complexity
Independent Study Subjects
Mathematics
 grammar
 fractals
 queuing network theory
 error correcting codes
 prime numbers
 lambda calculus
 higher order logic
 group theoretical descriptions of networks
 hyperdimensional geometry
 knots
 information complexity of numerical algorithms
 interval extension of arithmetic
 optimal control theory
 least squares analysis
 fast Fourier transforms
 game theory
Computers
 relational databases
 state machines
 genetic algorithms
 theorem provers
 unification
 algorithmic compression
 recognition
 intelligence
Recreational Mathematics
 Martin Gardner
 Clifford A. Pickover
 Nathan Davinski
Original Work
Mathematics
 combinatorics of function types
 partitioning the universe
 counting polyominoes, polygons, topologies, and groups
 deterministic perfect randomness
 primorial number representations
 superpowers and generalized Ackerman functions
 recursive expressions for the determinants of multidiagonal matrixes
 discriminant analysis of expectation values
 derivatives of a composition
 compositions of power series
 binomial transforms
 a generalized Wick's theorem
 optimized convergence of a rational series
 symbolic calculations of invariant measures
 continuum approximations
Computer Science
 a derivation of the back propagation algorithm for neural networks
 child direction parameters for binary trees
 tree operations
 random tree generators
 graph layout costs
 grammar combinatorics
 prolog grammar translators
 the generation of random elements of a language
 distribution functions on grammars
 genetic algorithms on syntactic structures
 optimum combinations of algorithms
 conversational user interfaces
 eigenfunctions of phonemes
 spatially continuous robot control
 periodicity analysis
 differences analysis
 hierarchical compression
 high compression on small subsets
 algorithmic optimization
 goal searching with algorithmic compression
 definitions subsume axioms
 reverse refutation
 openended questions and broad mandates
 theorem generation and discovery
 simplicity for theorem inclusion
 ultimate goals, bridging goals, and scaffolding
 the optimal rate of selfimprovement
 explanations through higher order logic
 searches that use meaning
 searches with
low branching factors, strong guidance, and strong pruning
 multiple narrow specific incomplete heuristics
 multiplelevel higherorder searches for heuristics
 deductions that use strategies
Accomplishments
 computer science
 the method of multiple goal functions
that are dynamic and hierarchically dependent
for genetic algorithms and computer intelligence.
 a strategy for algorithmic compression
that uses the basis of the set of operations in a model of computation.
 a Prolog program
that produces Pic commands for the wiring layout
of a variable dimension and variable radix hypertorus multiprocessor.
 technology
 the dependence of the carrying efficiency of an automobile
on the energy efficiency and power density of its motor.
 the power density
that robot motors need as a function of their leg length.
 the optimum velocity profile of an aerospace launch vehicle
that minimizes energy consumption.
Summary
Achievement 
Number 
university degrees 
3 
university courses 
41 
major scholarships 
3 
jobs 
1 
Software 
Number 
operating systems 
3 
editors 
4 
markup languages 
4 
programming languages 
17 
Activity 
Starting Year 
Duration/year 
studying science 
1969 
38 
reading Scientific American 
1977 
30 
programming computers 
1977 
30 
writing about technology 
1978 
29 
using my own personal computer 
2001 
6 
Printed Textbooks
Subject 
Number 
Mathematics 
22 
Physics 
35 
Technology 
7 
Computers 
15 
Total 
79 
Course Notes from the Internet
Subject 
Size/MB 
Number of Files 
Mathematics 
338 
575 
Physics 
28 
64 
Technology 
6 
46 
Computers 
203 
2338 
Total 
575 
3023 
Copyright © 2007, Carl Sommerfeldt.
http://kw.igs.net/~carlsommer
The author grants everyone permission to
copy and distribute verbatim copies of this document.