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 and release manager at Red Hat, Inc., on the Ansible team.

Prior to this, I was on the Community Platform Engineering team for 8 years where I worked on the Fedora Project's infrastructure.


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.