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 bug finding, program verification, and software security.

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.