Contact
Get in touch for research collaborations, questions about publications, or discussions about programming languages.
For research inquiries and collaborations:
your.email@example.comAcademic Profiles
Research Interests
I'm particularly interested in discussing:
- Type system design and implementation
- Compiler optimization techniques
- Formal semantics and verification
- Programming language design
- Research collaborations
Office Hours
Available for research discussions by appointment. Please email to schedule a meeting.