Researcher in Code Generation, RL, Formal and AI Reasoning. Interested in intelligent agent behavior, software engineering, formal reasoning.

PhD Advice

Here are some thoughts and practical lessons I’ve learned during my PhD — about research focus, publishing, collaboration, and staying sane. WIP