Mark Pleszkoch
Member of the Technical Staff
Survivable Systems Engineering Team
|
contact:
CERT®
Software Engineering Institute
Carnegie Mellon University
Pittsburgh, PA 15213-3890
|
bio
As a member of the Survivable Systems Engineering Team, Mark G. Pleszkoch
works in the area of automation of formal methods. His current project, Function
Extraction for Malicious Code (FX/MC), involves the automatic derivation of
the functional behavior of disassembled assembly language code. Previously,
Pleszkoch worked at IBM for twenty-one years in various capacities. As a member
of IBM’s Cleanroom Software Technology Center, he provided education and
consultation to clients in software process, software engineering technologies,
and software testing. Pleszkoch was the principal architect of the IBM Cleanroom
Certification Assistant tool set for statistical testing automation.
He has several publications in formal methods, software engineering and
other topics. He served on the adjunct faculty in the Computer Science department
of the University of Maryland, Baltimore County, from 1986 to 1995. As an
undergraduate, Pleszkoch was a Putnam fellow of the Mathematics Association of
America. He is a member of the Association for Symbolic Logic.
research interests
Pleszkoch's research interests include automated proof checking and its application to
formal verification programs.
recent publications
Gasarch,William; Pleszkoch, Mark; Stephan, Frank; &
Velauthapillai, Mahendran. "Classification via Information." Annals of Mathematics and Artificial Intelligence 23, 1-2 (1998): 147-168.
Pleszkoch, Mark; Hausler, Philip; Hevner, Alan; & Linger, Richard.
"Function-Theoretic Principles of Program Understanding," 74-81. Proceedings of 23rd Annual Hawaii International Conference on
System Sciences (HICSS 1990), Software Track, Vol. II. 1990. Los Alamitos, CA: IEEE Computer Science Press, 1990.
Trammell, Carmen J.; Pleszkoch, Mark G.; Linger, Richard C.; & Hevner, Alan R.
"The Incremental Development Process in Cleanroom Software Engineering,"
Decision Support Systems 17, 1 (1996): 55-71.
(Received the ANBAR Citation
of Highest Quality Rating for research excellence, ANBAR Electronic Intell., 1997.)
links
