Failed to load scholar profile
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published multiple papers including but not limited to: 'Beyond Sequences: Two-dimensional Representation and Dependency Encoding for Code Generation' (ACL 2025, to appear), 'Less is More: DocString Compression in Code Generation' (ACM TOSEM, accepted), 'Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation' (Information and Software Technology), etc.
Research Experience
- Neuro-symbolic software engineering and verification, (logic-based) program analysis and constraint solving, probabilistic verification (during PhD and postdoctoral time), process algebra (during PhD time). Specifically, works on neural theorem proving for maths and software verification and neural code generation.
Background
- A Computer Scientist and an Applied Mathematician working in Artificial Intelligence (Machine Learning and Natural Language Processing in particular), Software Engineering, Programming Language, Program Analysis, and Verification. Particularly interested in the interactions of these subjects. Also has general interests in (both continuous and discrete) Mathematics broadly related to Computer Science (e.g., Algorithms, Computational Complexity, and Quantum Computing).
Co-authors: 0 (list not available)