Vipin Swarup received an M.S. and a Ph.D. in Computer Science from the
University of Illinois at Urbana-Champaign.  He specialized in the
theory of programming languages and studied the type-theoretic
properties of first-class references and assignments.  Since 1990,
Vipin has worked at the MITRE Corporation on several research projects
in formal methods and computer security.  Notable among these projects
was the development of a formally verified implementation of the
programming language Scheme.  Vipin is currently the project leader
and principal investigator of research projects in intrusion detection
and mobile agent security.  He can be reached at swarup@mitre.org.