COMPILERS & IRs
Exploring intermediate representations, optimizations and program analysis.
→
Computer Science Student
I work at the intersection of theory and engineering, building reliable systems grounded in formal foundations and solid architecture.
Automata theory, formal languages, computability, and complexity.
Designing modular, scalable and maintainable software systems.
Backend systems, compilers, tooling and developer infrastructure.
Building performant and reliable systems that solve real problems.
Exploring intermediate representations, optimizations and program analysis.
Research and implementations in automata theory and formal language processing.
Backend services, APIs and developer tools focused on reliability and scale.