|3260 Hillview Avenue
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
Ms. Gilham holds an M.A. in Mathematical Statistics from Indiana
University and an M.S. in Computer Science from Stanford University.