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 explores the design, implementation, and verification of distributed systems and runtimes for pure functional languages. I want to 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: