Gwendolyn Walton
senior member of the technical staff
Survivable Systems Engineering Team
|
contact:
CERT®
Software Engineering Institute
Carnegie Mellon University
Pittsburgh, PA 15213-3890
[863] 255-2932
|
bio
Gwendolyn H. Walton serves as co-PI for the Computational Security Attributes (CSA) project and as a member of the Function Extraction for Malicious Code (FX/MC) project team. She also served as a member of the Flow Service Quality Engineering (FSQ) project team.
Prior to joining the SEI, Walton held faculty positions at Florida Southern College and the University of Central Florida. She published over 30 journal and conference papers and directed the research of 2 PhD students, 15 MS students, and 4 undergraduate students.
Previously Walton served as President of Software Engineering Technology Inc, Assistant Vice President, Division Manager, Project Manager, and Senior Systems Analyst for Science Applications International Corporation, Senior Data Systems Programmer for Lockheed Missiles and Space Company, and Research Associate for Oak Ridge National Laboratory.
Walton is a member of ACM, a senior member of IEEE and the IEEE Computer Society, and a senior member of the Society of Women Engineers.
research interests
Walton's current research interests include theoretical foundations for computation of non-functional software attributes, and rigorous methods for specification and evaluation of large-scale software systems.
recent publications
“Extending Business Process Execution Language for Web Services
with Service Level Agreements Expressed in Computational Quality
Attributes”, (with C.K. Fung, P. C. K. Hung, and R.Linger)
Proceedings of the 38th Annual Hawaii International Conference
on System Science (HICSS-38), Hawaii, IEEE Computer Society
Press, Los Alamitos, CA, January 2005.
Flow-Service-Quality (FSQ) Engineering: Foundations for Network
System Analysis and Development (with A. Hevner, R. Linger,
and M. Pleszkoch) CMU/SEI 2002 TN-0019. Software Engineering Institute,
Carnegie Mellon University. 2002.
“Developing and Validating Thousands of Executable Finite State
Machines for the NASA Checkout and Launch Control System” (with G. Semmel)
Proceedings of the 2001 IEEE Aerospace Conference, Big Sky, MT, March 2001.
“Measuring Complexity and Coverage of Software Specifications”
(with J. H. Poore) Information and Software Technology Journal, Sept 2000.
links
|
PhD in Computer Science – University of Tennessee
MS in Mathematics – University of Tennessee
BS in Mathematics Education – University of Tennessee
|
