mwillsey.com - mwillsey

home > domains > mwillsey.com

Example domain paragraphs

I’m a post-doctoral researcher in computer science at the University of Washington.

I am seeking tenure-track faculty positions in the 2022-2023 cycle. Please see my application materials here .

My current focus is egg , a toolkit for program optimization and synthesis powered by e-graphs and equality saturation. We’ve applied it to some really fun domains like improving floating point accuracy , shrinking 3D models , and linear algebra optimization .

Links to mwillsey.com (10)

• uwplse.org UW PLSE
• ztatlock.net Zachary Tatlock
• egraphs-good.github.io egg
• effect.systems Yihong Zhang
• haisenzhao.github.io Haisen Zhao's Homepage
• thia.codes Cynthia Richey
• calebwin.github.io Caleb Winston
• uwplse.github.io UW PLSE
• christinebetts.com christine betts
• betts.rocks christine betts