I'm a PhD student at UW PLSE. I create means to realize thoughts.
In my lab, that means to experiment with languages used to program machines. I believe programs can be woven from threads, in addition to being sewn from fragments. Moreover, the act of programming itself can be automated, if we can say what we want clearly.