Hi. I'm Rick.

Here's me in a nutshell:

  • Software engineer & system administrator.
  • B.Sc. in Computer Science & Mathematics.
  • Minor in linguistics.
  • Interested in historical indo-european linguistics & etymology.
  • Passionate about formal software correctness via type theory.
  • Swing dancer & DJ.
  • Double bass & piano learner.
  • Player of Field Mojo.
  • Residing in Austin, TX.

Life Story.


Hello, my name is Rick Elrod.


I am currently a software engineer at Red Hat, Inc., on the Community Platform Engineering team. I love working on open source software.


My research interests are in the space of formal methods through type theory. I've graduated from Youngstown State University with a dual major B.Sc. in Computer Science and Mathematics, and a minor in Linguistics.

Swing Dancing and DJing

I've been a swing and blues dancer for over five years. I especially love dancing Lindy Hop to live bands. For nearly as long as I've been dancing, I've also DJed dances and run sound for live swing bands at dances.


I don't currently play professionally, but I play several instruments with varying degrees of skill, piano, upright bass, and drums.