Weirich graduated magna cum laude in 1996 from Rice University, with a bachelor's degree in computer science.
[2] At Rice, she became interested in programming languages through an undergraduate research project with Matthias Felleisen.
[2] Weirich's work on type inference has been incorporated into the Glasgow Haskell Compiler.
She has also been a leader of the POPLmark challenge for benchmarking type systems of programming languages.
Weirich won the SIGPLAN Robin Milner Young Researcher Award in 2016.