Michael Flanders

Email: mkf727 at cs.washington.edu

Github: flandini

I am a PhD student at the University of Washington's Paul G. Allen School of Computer Science and Engineering where I am advised by David Kohlbrenner. My research interests are in security, program analysis, and lightweight formal methods.

Previously, I received my B.S. in Electrical and Computer Engineering from The University of Texas at Austin. While there, I was mentored by Sarfraz Khurshid. I also previously worked in security research and reverse-engineering at Trend Micro's Zero Day Initiative.