Awards

• 2018 — Google PhD Fellowship in Programming Technology and Software Engineering.
  announcement
• 2017 — First place winner at the ACM Student Research Competition Grand Finals for a paper about Gradual Set-Theoretic Types.
  paper announcement
• 2017 — First place winner at the Student Research Competition (SRC) at POPL 2017, in the "Undergraduate" category, for a poster presentation about Gradual Set-Theoretic Types.
  poster

Publications

• G. Castagna, V. Lanvin, T. Petrucciani and J. Siek: Gradual Typing: A New Perspective. In POPL '19, 46th ACM SIGPLAN Symposium on Principles of Programming Languages, January, 2019.
  slides
• G. Castagna, V. Lanvin, T. Petrucciani and J. Siek: Polymorphic Gradual Typing: A Set-Theoretic Perspective. In TYPES 2018, 24th International Conference on Types for Proofs and Programs, June, 2018.
  slides
• G. Castagna and V. Lanvin: Gradual Typing with Union and Intersection Types. In ICFP '17, 22nd ACM SIGPLAN International Conference on Functional Programming, September, 2017.
  slides video of the talk