About

I'm a master's preparatory student with research interests at the intersection of mathematical logic, type theory, and the theoretical foundations of computation. My long-term goal is to understand how formal methods and logic can clarify — and constrain — what computational systems can and cannot do.

The question is not whether machines can think, but whether we can know when they do — and what that question even means.

I read a lot — mathematics, philosophy of mind, and occasional fiction. I keep notes on what I'm reading in my essays. I also enjoy photography and long walks in places with good architecture.