About Me



Ahoy there! My name is Stefan Grosser, and I am a PhD student in Computer Science at McGill studying under Robert Robere. My research interests are in proof complexity, bounded arithmetic,  communication complexity, and extremal combinatorics.

From January through May 2023, I was a visiting graduate student at the Simons Institute for the Meta-Complexity program. For the summer of 2025, I am a research intern at IBM Exploratory Science team.

I had the privilege of working with Hamed Hatami and Sergey Norin for my Master's in Mathematics at McGill, and Alejandro Morales during my final year at UMass Amherst.

If I'm not doing math or programming, you'll find me climbing, baking, playing my oud, or drinking a cup of tea.

Find my CV here


Papers: 
  • A Finitary Chaitin Incompleteness Theorem and Uncondition Line Count Separations in Bounded Arithmetic
  •        - Joint work with Marco Carmosino, Isabelle Champion, and Robert Robere
           - Accepted to FOCS 2025
  • Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap
  •        - Joint work with Marco Carmosino
           - Accepted to STOC 2025
           - ECCC link
           - STOC prerecorded talk
Projects:
  • Google Summer of Code 2020: Adding Efficient Counting of Linear Extensions to SageMath
           - Mentored by Travis Scrimshaw
Github

Contact me at myfirstname.mylastname @ mail.mcgill.ca

Comments

Popular posts from this blog

Learning Bounded Arithmetic -- A Guide from a Novice