Stephanie Forrest

Last updated
Stephanie Forrest
Nationality American
Alma mater St. John's College
University of Michigan
AwardsNSF Presidential Young Investigator Award (1991)
IFIP TC2 Manfred Paul Award for Excellence in Software (2009)
ACM/AAAI Allen Newell Award (2011)
Scientific career
Fields Genetic algorithms
Computer security
InstitutionsTeknowledge Inc.
Los Alamos National Laboratory
Santa Fe Institute
University of New Mexico
Arizona State University
Thesis A study of parallelism in the classifier system and its application to classification in KL-ONE semantic networks (1985)

Stephanie Forrest (born circa 1958) is an American computer scientist and director of the Biodesign Center for Biocomputing, Security and Society at the Biodesign Institute at Arizona State University. [1] She was previously Distinguished Professor of Computer Science at the University of New Mexico in Albuquerque. [2] She is best known for her work in adaptive systems, including genetic algorithms, [3] computational immunology, biological modeling, automated software repair, [4] and computer security.

Contents

Biography

After earning her BA from St. John's College in 1977, Forrest studied Computer and Communication Sciences at the University of Michigan, where she received her MS in 1982, and in 1985 her PhD, with a thesis entitled "A study of parallelism in the classifier system and its application to classification in KL-ONE semantic networks."

After graduation Forrest worked for Teknowledge Inc. and at the Center for Nonlinear Studies of the Los Alamos National Laboratory. In 1990 she joined the University of New Mexico, where she was appointed Professor of Computer Science and directs the Computer Immune Systems Group, and the Adaptive Computation Laboratory. From 2006 to 2011 she chaired the Computer Science Department. In the 1990s she was also affiliated with the Santa Fe Institute, where she was Interim Vice President for the 1999–2000 term. [5]

In 1991, Forrest was awarded the NSF Presidential Young Investigator Award, and in 2009 she received the IFIP TC2 Manfred Paul Award for Excellence in Software. [6] In 2011, she was awarded the ACM - AAAI Allen Newell Award. [7]

Work

Forrest's research interests are in the field of "adaptive systems, including genetic algorithms, computational immunology, biological modeling, automated software repair, and computer security." [8]

According to the National Academies her research since the 1990s has included "developing the first practical anomaly intrusion-detection system; designing automated responses to cyberattacks; writing an early influential paper proposing automatic software diversity and introducing instruction-set randomization as a particular implementation; developing noncryptographic privacy-enhancing data representations; agent-based modeling of large-scale computational networks; and recently, work on automated repair of security vulnerabilities. She has conducted many computational modeling projects in biology, where her specialties are immunology and evolutionary diseases, such as Influenza and cancer." [5]

Selected bibliography

Forrest has authored and co-authored many publications in her field of expertise. [9] A selection:

Related Research Articles

<span class="mw-page-title-main">Computer science</span> Study of computation

Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines to practical disciplines. Computer science is generally considered an academic discipline and distinct from computer programming.

<span class="mw-page-title-main">Intrusion detection system</span> Network protection device or software

An intrusion detection system is a device or software application that monitors a network or systems for malicious activity or policy violations. Any intrusion activity or violation is typically reported either to an administrator or collected centrally using a security information and event management (SIEM) system. A SIEM system combines outputs from multiple sources and uses alarm filtering techniques to distinguish malicious activity from false alarms.

Computer science is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. One well known subject classification system for computer science is the ACM Computing Classification System devised by the Association for Computing Machinery.

<span class="mw-page-title-main">Theoretical computer science</span> Subfield of computer science and mathematics

Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.

<span class="mw-page-title-main">Jack Dongarra</span> American computer scientist (born 1950)

Jack Joseph Dongarra is an American computer scientist and mathematician. He is the American University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He holds the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory, Turing Fellowship in the School of Mathematics at the University of Manchester, and is an adjunct professor in the Computer Science Department at Rice University. He served as a faculty fellow at the Texas A&M University Institute for Advanced Study (2014–2018). Dongarra is the founding director of the Innovative Computing Laboratory at the University of Tennessee. He was the recipient of the Turing Award in 2021.

<span class="mw-page-title-main">Logic in computer science</span> Academic discipline

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:

In artificial intelligence, artificial immune systems (AIS) are a class of computationally intelligent, rule-based machine learning systems inspired by the principles and processes of the vertebrate immune system. The algorithms are typically modeled after the immune system's characteristics of learning and memory for use in problem-solving.

Vasant G. Honavar is an Indian born American computer scientist, and artificial intelligence, machine learning, big data, data science, causal inference, knowledge representation, bioinformatics and health informatics researcher and professor.

Search-based software engineering (SBSE) applies metaheuristic search techniques such as genetic algorithms, simulated annealing and tabu search to software engineering problems. Many activities in software engineering can be stated as optimization problems. Optimization techniques of operations research such as linear programming or dynamic programming are often impractical for large scale software engineering problems because of their computational complexity or their assumptions on the problem structure. Researchers and practitioners use metaheuristic search techniques, which impose little assumptions on the problem structure, to find near-optimal or "good-enough" solutions.

Virgil Dorin Gligor is a Romanian-American professor of electrical and computer engineering who specializes in the research of network security and applied cryptography.

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In other countries, the term "informatics" is used with a different meaning in the context of library science, in which case it is synonymous with data storage and retrieval.

ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet.

Extended static checking (ESC) is a collective name in computer science for a range of techniques for statically checking the correctness of various program constraints. ESC can be thought of as an extended form of type checking. As with type checking, ESC is performed automatically at compile time. This distinguishes it from more general approaches to the formal verification of software, which typically rely on human-generated proofs. Furthermore, it promotes practicality over soundness, in that it aims to dramatically reduce the number of false positives at the cost of introducing some false negatives. ESC can identify a range of errors which are currently outside the scope of a type checker, including division by zero, array out of bounds, integer overflow and null dereferences.

The notion of a self-reproducing computer program can be traced back to initial theories about the operation of complex automata. John von Neumann showed that in theory a program could reproduce itself. This constituted a plausibility result in computability theory. Fred Cohen experimented with computer viruses and confirmed Neumann's postulate and investigated other properties of malware such as detectability and self-obfuscation using rudimentary encryption. His 1988 Doctoral dissertation was on the subject of computer viruses.

George V. Cybenko is the Dorothy and Walter Gramm Professor of Engineering at Dartmouth and a fellow of the IEEE and SIAM.

Automatic bug-fixing is the automatic repair of software bugs without the intervention of a human programmer. It is also commonly referred to as automatic patch generation, automatic bug repair, or automatic program repair. The typical goal of such techniques is to automatically generate correct patches to eliminate bugs in software programs without causing software regression.

References

  1. ↑ Minton, Leslie (2017-11-07). "Q&A: Can biology show us how to stop hackers?". ASU Now: Access, Excellence, Impact. Retrieved 2018-01-30.
  2. ↑ Forrest, Stephanie. "Home Page". www.cs.unm.edu. Retrieved 2018-01-08.
  3. ↑ Genetic algorithms and artificial life M. Mitchell and S. Forrest. Artificial Life, Vol. 1, No. 3 (1994), pp. 267-289. Reprinted in C. G. Langton (Ed.) Artificial Life: an Overview, MIT Press, Cambridge, MA (1995)
  4. ↑ A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8.00 Each C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer. International Conference on Software Engineering (ICSE'12) (2012)
  5. 1 2 Stephanie Forrest, University of New Mexico Archived 2013-11-11 at the Wayback Machine , Jefferson Science Fellowship at nationalacademies.org. Accessed 11 November 2013.
  6. ↑ "ICSE 2009: Cyber Home". www.cs.uoregon.edu. Retrieved 2022-05-08.
  7. ↑ "Computer Science Alum Stephanie Forrest Selected for ACM Newell Award". www.eecs.umich.edu. Retrieved 2018-01-08.
  8. ↑ STEPHANIE FORREST Science Board, External Professor at santafe.edu, 2013.
  9. ↑ Stephanie Forrest Professor of Computer Science, Univ. of New Mexico at Google Scholar.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.