Home

Adam B. Poswolsky, Ph.D.


Contact

Work

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