Shuyan Bian
Email: bianshuyan42@gmail.com
GitHub:
alpha-beta-eta
Education
Northeastern University (Boston)
2024-2026
M.S. in Software Engineering
Nanjing University of Information Science & Technology
2018-2023
B.S. in Information and Computing Science
Interests
Programming Pedagogy
Compiler Construction
Domain-Specific Languages
Proof Assistants
Projects
SMathML:
alpha-beta-eta/SMathML