Image
Vitaly Shmatikov is an Assistant Professor in the Department of Computer Sciences. Before coming to Texas, Vitaly worked as a computer scientist at SRI International, where his research focused on computer security. He focused in particular on tools and formal methods for automated analysis and verification of secure systems, as well as various aspects of anonymity and privacy.
Vitaly Shmatikov grew up in Moscow, and attended Moscow University and the University of Washington as an undergraduate. He did his graduate studies at Stanford University, where he received M.S. in Engineering-Economic Systems and Ph.D. in Computer Science.
Vitaly is an avid skier and an instrument-rated private pilot.
News Categories