Pei-wei Chen
PHD Student at UC Berkeley Electrical Engineering & Computer Sciences (EECS)
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolPei-Wei Chen is a PhD student at UC Berkeley working with Prof. Sanjit Seshia, specializing in formal methods with a focus on decision procedures such as SAT, QBF, and SMT. With eight years of experience bridging theory and practice, Pei-Wei has applied research skills during two Applied Scientist internships at AWS and brings a pragmatic eye toward industrial impact. Trained in Applied Logic and Computation in System Design at National Taiwan University, they combine deep theoretical grounding with hands-on problem solving in automated reasoning. Pei-Wei is particularly interested in translating advances in decision procedures into tools and workflows that can be adopted beyond academia.
8 years of coding experience
1 year of employment as a software developer
Bachelor's degree Applied Logic and Computation in System Design, Bachelor's degree Applied Logic and Computation in System Design at National Taiwan University
Github Skills (27)
timing10
uid10
concurrent9
polyglot9
concurrency8
modeling8
sat-solver8
verification8
multicore8
synthesis8
tlaplus8
functional-programming7
agda7
coq7
concurrent-programming7
Programming languages (6)
Github contributions (5)
perry0513/MLDS_hw1
Sep 2018 - Oct 2020
Contributions:39 pushes, 3 branches in 2 years 1 month
perry0513/MLDS_hw2
Oct 2018 - Nov 2018
Contributions:1 PR, 40 pushes, 2 branches in 28 days
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.