Olek Gierczak
(he/him/his)
PhD Student
Research Interests
- Logical Relations
- Gradual Typing
- Formal Semantics for Programming Languages
- Type Preserving Compilation
- Call By Push Value
Education
- BS in Computer Science, University of Pennsylvania
Biography
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.