Patrick Redmond

I am a PhD student in the Languages, Systems, and Data Lab at the University of California Santa Cruz. My advisor is Lindsey Kuper and I collaborate with Gan Shen and Nathan Liittschwager.

My research is in solver aided verification of distributed systems. I’m currently trying to learn enough Agda and Liquid Haskell to verify the CBCAST causal delivery algorithm.

I have several years of industry experience conceptualizing, developing, and deploying high-availability distributed-systems and machine prediction at scale for Twitch (Amazon), Prismatic (defunct), and Vlingo (Nuance).

Here are some highlights from my CV: