Steve Kieffer
Currently on sabbatical, tinkering with projects for teaching and sharing math.
Recent Work
These days, besides travelling, I'm mostly working on some projects organized under a little
nonprofit I started, called Royalroad Math.
The main project is Proofscape,
a system for authoring interactive notes and learning modules for studying mathematical proofs.
A fastpaced promo for the new Proofscape. (01:17)

An eightminute introduction to the major features of the new Proofscape. (08:03)

Other, related math projects are on the horizon, and I'll try to post some materials about them as
soon as I can!
I also recently contributed
a new library
to the
Adaptagrams project, a C++ library for
constraintbased network layout. Adaptagrams is used in many projects, including the
Dunnart layout editor:
Camper Van Conversions
This is a new area for me. Actually I've just done the one conversion, which
was so I could travel on my sabbatical.
Here's how I did it.
Improvisational Piano
I've been playing blues and jazz piano for many years. I usually don't record
anything I play, but I did record one session a few years ago. Here's a sample:
and here's
the whole session.
Publications
 Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
HOLA: Humanlike Orthogonal Network Layout.
IEEE Transactions on Visualization and Computer Graphics
22, no. 1 (2016): 349358.
Awarded Best Paper at InfoVis 2015!
[preprint]
[IEEE]
 Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
StressMinimizing Orthogonal Layout of Data Flow Diagrams with Ports.
Proceedings of the 22nd International Symposium on Graph Drawing
(GD'14), pp. 319330. Springer, 2014.
[preprint]
[Springer]

Steve Kieffer.
Argument Mapping for Mathematics in Proofscape.
International Conference on Theory and Application of Diagrams, LNCS 8578: 5763. Springer, 2014.
[preprint]
[Springer]
 Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
Incremental Gridlike Layout Using Soft and Hard
Constraints
In Proceedings of the 21st International Symposium on Graph Drawing
(GD'13), LNCS 8242: 448459, Springer 2013.
[preprint with Appendix]
[Springer]

Steve Kieffer.
Computability in Principle and Practice in Algebraic Number
Theory.
MSc Thesis, 316 pages, Simon Fraser University, 2012.
[SFU library]
 Steve Kieffer, Jeremy Avigad, and Harvey Friedman.
A Language for Mathematical Knowledge Management
In Studies in Logic, Grammar and Rhetoric, special issue on
Computer Reconstruction of the Body of Mathematics,
18(31): 5166, University of Bialystock, 2009.
[Journal]
 Steve Kieffer.
A Language for Mathematical Knowledge Management.
MSc Thesis, 230 pages, Carnegie Mellon University, 2007.
Talks and Posters

Proofscape: Argument Mapping for Mathematics.
Diagrams 2014,
Melbourne, Australia, 31 Jul 2014.
[PDF]

Adaptive GridLike Layout. (poster)
InfoVis 2013,
Atlanta, GA, 1318 Oct 2013.
[PDF]

Grids for Dunnart.
Graph Drawing 2013,
University of Bordeaux, Bordeaux, France, 25 Sep 2013.
[PDF]

Understanding Mathematics in WWIIEra Number Theory.
History
and Philosophy of Science and Mathematics Seminar, Monash
University, Melbourne, Australia, 17 Oct 2012.
[PDF]
 Periodic Table of Number Theorists

Illustrating Mathematics.
CICM 2008, Doctoral Colloquium,
University of Birmingham, Birmingham, England, 29 Jul 2008.
[PDF]
Miscellaneous
Do you find anything cumbersome about TeX syntax?
For example,
If instead of this... 
you'd prefer to type this... 
a_0, a_1, \ldots, a_{n1} 
a0, a1, ddd, an1 
\alpha, \beta, \gamma, ... 
alpha, beta, gamma, ... 
\mathfrak{p} \in \mathbb{Z} 
frp in bbZ 
n^\mathrm{th} 
n eth 
\frac{2}{3} 
frac 2 over 3; 
\left x \right 
abs x; 
f^{(n)} 
f supp n; 
f^{1} 
f inv 
\sum_{n=0}^\infty a_n 
sum over n from 0 to infty; an 
...then use VerTeX.
Download from PyPI: https://pypi.org/project/vertex2tex/
Perpetual Calendars
Cryptic crosswords
Cryptic crosswords put an extra twist on ordinary cruciverbology, each
clue featuring a literal definition at one end, and word play at the
other, and you don't know which is which.
I have Chris Mears to thank for getting me hooked on this great time
waster.