Summary
Charisee Chiw is a software engineer in Portland with 10 years of experience bridging programming languages research and practical tooling, currently working on the Rust toolchain for Android at Google. She holds a PhD and MS in Computer Science from the University of Chicago and brings deep compiler and language-design expertise from her academic work on tensor compilation and from building DSLs and compilers at Galois. Her background spans formal methods, automated testing, and scientific visualization—she’s written proofs and memory-safety checks using tools like SAW and Cryptol and implemented compilers in SML, Haskell, Scala, and C. As a former project PI she pairs hands-on implementation with technical leadership and DARPA proposal experience, and she has a history of developing test automation to validate complex compiler transformations.
10 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Chicago
Master of Science (M.S.), Computer Science, Master of Science (M.S.), Computer Science at The University of Chicago
Bachelor of Science (B.S.), Physics, Bachelor of Science (B.S.), Physics at Gettysburg College