Jim Carlson's Home Page

RC | Start | Elm | Haskell | Music | Art | Type Theory | Futhark | Misc

What’s new:

Current interests: Type theory (Martin-Löf, HoTT) and functional programming, mostly Elm and Futhark. Some projects:

Various talks

Space-time coordinates

I’m a professor emeritus of Mathematics at the University of Utah, presently visiting the Ohio State University. For the last seven years, I have also held a visitig scholar position at BICMR, the Beijing International Center for Mathematical Research at Peking University. Next year (2019-20), I will be visiting the Collège de France in Paris. After that, back to New York City.

Points of contact

Now he is taller than me.

Some links

Footnotes (the best part!)

  1. Nightingale has best birdsong because of its complex brain. Amazing what 4 billion years of engineering work can come up with.
  2. Song of the nightingale (link to audio)
  3. George Oakley, Sonata for Cello and Piano, Inga Kashakashvili, piano, and Jay Campbell, cello.
  4. Dylan Carlson, piano. Salt Lake City 2010
  5. Why the “xx” in “jxxcarlson”? Identifiers must be unique. Nothing to do with mathematics or with an excellent brand of Mexican beer, although both are in some sense applicable.
  6. The bird: a red-throated flycatcher (Ficedula albicilla)