Here's me in a nutshell:
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.
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.