 Her dissertation, "Programming with Types", was supervised by Greg Morrisett.She joined the University of Pennsylvania faculty in 2002.Weirich's work on type inference has been incorporated into the Glasgow Haskell Compiler.