Shiwei Weng
Research Assistant at The Johns Hopkins University
Baltimore, Maryland, United States
Summary
👤
Senior🎓
Top SchoolShiwei Weng is a Ph.D. candidate and research assistant at Johns Hopkins University’s Programming Languages Laboratory, specializing in automatic reasoning for functional languages through symbolic execution, program analysis, and model checking. With 11 years of engineering experience spanning research internships at Microsoft (where he built SMT-based provers and dataflow analyses for Checked C) to full‑stack freelance work, he bridges rigorous PL theory with practical tooling and DevOps. He also maintains lab infrastructure as a systems administrator and has taught foundational courses in programming languages and functional programming. Trained at Fudan and JHU, Shiwei combines deep academic research with production-minded implementations, often reducing false positives in static analyses—an indicator of his focus on usable, precise verification tools.
11 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Software Engineering, Bachelor's degree, Software Engineering at Fudan UniversityJohns Hopkins UniversityBachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at University College Dublin
English, Chinese
Github Skills (200)
visual-studio-code-extension10
reason10
mold10
ppx10
opam10
system-programming10
multicore10
dune10
idris10
gleam10
compiler10
reasonml10
ocaml10
linker10
simultaneous10
Programming languages (17)
Github contributions (5)
JHU-PL-Lab/jaylang
Feb 2020 - Feb 2023
Contributions:451 commits, 423 pushes, 36 branches in 3 years
arbipher/arbipher.github.io
Apr 2015 - Feb 2025
Contributions:6 PRs, 104 pushes, 4 branches in 9 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.