Home

Adam B. Poswolsky, Ph.D.

Contact

Work

  • Tech Lead Manager / Staff Software Engineer at Google

  • LinkedIn

Past Research

  • Delphin

    • My doctoral work involved the design and development of Delphin, which is a robust dependently-typed programming language supporting higher-order encodings.

  • Publications

  • Teaching and Courses