I graduated with a Ph.D. from the School of Computer Science at the
Carnegie Mellon University. Currently I am
the Lubar professor in the Computer
Sciences Department at the University
of Wisconsin, Madison.
My resume can be found here [PDF]
My main areas of interests are at the intersection of security and formal methods (FM).
Currently my active interests are in adversarial machine learning (AML)
I have a peripheral interest in several topics (e.g. computational finance), but I have not been actively involved in the area for a several years.
Note: I have not been updating by publications page for a few years. My DBLP page is here and my Google scholar page is here. If you need to get a copy of one of my papers or have questions about them, feel free to contact me.