Limei Gilham

At Kestrel Institute, she participated in developing various software systems, including PMA (a knowledge-based project management system), REACTO (a transformation- and verification-based software environment that supports development of reliable reactive systems), KIDS ( a system that provides automated support for the development of correct and efficient programs from formal specifications), SPECWARE (a category-theory-based environment for specification and formal development of software), PLANWARE (a system that provides highly automated support for requirement acquisition and synthesis of high performance scheduling algorithms), DESIGNWARE (a system that extends SPECWARE with taxonomies of software design theories and support for constructing refinements from them), AutoSmart (a software environment that supports development of smart card applets), JCRE (a GlobalPlatform-compliant Java Card Runtime Environment) and VIBRANCE (a system that removes vulnerabilities in Java bytecode by analysis, confinement, and diversification).