Patrick Redmond

I am a PhD student in the Languages, Systems, and Data Lab at the University of California Santa Cruz advised by Lindsey Kuper.

My research is in solver aided verification of distributed systems. Solvers can bring software verification to industry, where rapidly changing production systems are difficult to verify with traditional manual proof-writing techniques.

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: