BIO
Ana Milanova is an associate professor in the Department of Computer Science at Rensselaer Polytechnic Institute. Her research interests are in the areas of software engineering, compilers, and programming languages. Particularly, she is interested in program analysis and its applications to security, software verification, testing and understanding.