Limei Gilham

Ms. Gilham has over 25 years of experience designing and implementing software systems.

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).

At Kestrel Technology LLC, she worked on implementing an integrated development environment for the domain of complex planning and scheduling systems.

As a Senior Software Engineer at ePatterns Inc., she worked on design and implementation of various parts of a Business Process Management product that processes and monitors business events.

As a Server Engineer at Tresidder Networks, she worked on debugging and performance tuning of a platform product that generates dynamic and personalized content on wireless devices.

As a Staff Engineer at diCarta Inc., she worked on analysis, design, and implementation of an enterprise contract management product.

Ms. Gilham holds an M.A. in Mathematical Statistics from Indiana University and an M.S. in Computer Science from Stanford University.