Personal Email: adam@poswolsky.com
Work Email: aposwolsky@google.com
Tech Lead Manager / Staff Software Engineer at Google
My doctoral work involved the design and development of Delphin, which is a robust dependently-typed programming language supporting higher-order encodings.