معرفی
Jingmei Hu is an Applied Scientist at Amazon since 2022, with a Ph.D. in Computer Science from Harvard University (2022) under Prof. Margo Seltzer and Prof. Stephen Chong. Her research spans program synthesis and verification for systems, focusing on low-level OS development, human-computer interaction, and parallel computing.
- Ph.D. in Computer Science, Harvard University, 2022
- M.S. in Computer Science, Harvard University, 2018
- B.S. in Computer Science, Shanghai Jiao Tong University, 2016
Her work combines program synthesis with human-computer interaction and parallelism to improve usability and scalability, particularly for assembly-level code generation. She has also explored provenance tracking to enhance data scientist workflows and developed secure authentication methods for mobile devices.
Her recent publications address assembly synthesis efficiency, OS porting, and provenance-driven debugging tools. Key themes include formal methods, domain-specific languages, and automated reasoning.
- ACM-W Scholarship (2020)
- National Scholarship (China), Top 1% at SJTU (2013)
She has served on review committees for conferences like OOPSLA, PLDI, and POPL, and her technical expertise includes Python, OCaml, C/C++, and AWS cloud services.
