# Mark E. Stickel

> American computer scientist

**Wikidata**: [Q18131873](https://www.wikidata.org/wiki/Q18131873)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Mark_E._Stickel)  
**Source**: https://4ort.xyz/entity/mark-e-stickel

## Summary
Mark E. Stickel was an American computer scientist known for his contributions to automated reasoning and artificial intelligence. He received the Herbrand Award in 2002 and was named an AAAI Fellow in 1992 for his work in the field.

## Biography
- Born: June 22, 1947
- Nationality: United States
- Education: Not specified in source material
- Known for: Automated reasoning and artificial intelligence
- Employer(s): Not specified in source material
- Field(s): Computer science

## Contributions
Mark E. Stickel made significant contributions to the field of automated reasoning and artificial intelligence. His work focused on developing algorithms and systems for logical reasoning, which has applications in various areas of computer science. Stickel's research likely included advancements in theorem proving, knowledge representation, and reasoning systems. While specific projects or publications are not detailed in the provided information, his recognition with the Herbrand Award and AAAI Fellowship indicates that his contributions were substantial and influential in the field of artificial intelligence.

## FAQs
### Q: What is Mark E. Stickel known for?
A: Mark E. Stickel is known for his contributions to automated reasoning and artificial intelligence, particularly in the development of algorithms and systems for logical reasoning.

### Q: What awards did Mark E. Stickel receive?
A: Mark E. Stickel received the Herbrand Award in 2002 and was named an AAAI Fellow in 1992 for his work in artificial intelligence.

### Q: When was Mark E. Stickel born and when did he pass away?
A: Mark E. Stickel was born on June 22, 1947, and passed away on April 13, 2013.

## Why They Matter
Mark E. Stickel's work in automated reasoning and artificial intelligence has had a lasting impact on the field of computer science. His contributions to logical reasoning algorithms and systems have likely influenced the development of various AI applications, including expert systems, knowledge-based systems, and automated theorem provers. The recognition he received through the Herbrand Award and AAAI Fellowship underscores the significance of his work in advancing the capabilities of artificial intelligence. Stickel's research has potentially paved the way for more sophisticated reasoning systems, which are crucial in many areas of modern computing, from natural language processing to robotics and beyond.

## Notable For
- Receiving the Herbrand Award in 2002 for contributions to automated reasoning
- Being named an AAAI Fellow in 1992
- Significant contributions to the field of artificial intelligence
- Work on algorithms and systems for logical reasoning
- Influence on the development of automated theorem provers and knowledge-based systems

## Body
### Early Life and Education
Mark E. Stickel was born on June 22, 1947, in the United States. While specific details about his early life and education are not provided in the source material, his later achievements suggest a strong foundation in mathematics and computer science.

### Career and Research
Stickel's career was primarily focused on the field of computer science, with a particular emphasis on automated reasoning and artificial intelligence. His work likely involved developing algorithms and systems for logical reasoning, which are fundamental to many AI applications.

### Awards and Recognition
Stickel's contributions to the field were recognized through two significant awards:
1. The Herbrand Award in 2002, which is given for outstanding contributions to automated reasoning.
2. Election as an AAAI Fellow in 1992, recognizing his significant and sustained contributions to the field of artificial intelligence.

### Legacy
While specific details about Stickel's publications or projects are not provided, his recognition by prestigious organizations in the field of AI and automated reasoning indicates that his work had a substantial impact. His research likely contributed to advancements in theorem proving, knowledge representation, and reasoning systems, which are crucial components in many modern AI applications.

### Death
Mark E. Stickel passed away on April 13, 2013, leaving behind a legacy of contributions to the field of computer science and artificial intelligence.

## References

1. [Source](https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/)
2. Virtual International Authority File
3. CiNii Research
4. IdRef
5. National Library of Israel Names and Subjects Authority File