Olek Gierczak

(he/him/his)

PhD Student

Olek Gierczak
  • Logical Relations
  • Gradual Typing
  • Formal Semantics for Programming Languages
  • Type Preserving Compilation
  • Call By Push Value
  • BS in Computer Science, University of Pennsylvania

Olek Gierczak is a doctoral student at the Khoury College of Computer Sciences at Northeastern University, advised by Amal Ahmed. His research, which he started in 2019, focuses on programming languages, specifically Gradually Typing. Gierczak is affiliated with the Programming Research Laboratory and the Secure Interoperability, Languages, and Compilers (SILC) group at Northeastern.

Before joining Northeastern, he received his bachelor’s in computer science from the University of Pennsylvania. His research interests include logical relations, gradual typing and formal semantics for programming languages. Outside of academic research, he plays drums in a band, loves to cook and drinks tea.

  • From Linearity to Borrowing

    Citation: Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed . (2025). From Linearity to Borrowing Proc. ACM Program. Lang., 9, 3981-4007. https://doi.org/10.1145/3764117

  • Gradually Typed Languages Should Be Vigilant!

    Citation: Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed . (2024). Gradually Typed Languages Should Be Vigilant! Proc. ACM Program. Lang., 8, 864-892. https://doi.org/10.1145/3649842