# David A. Schmidt

> American professor of computer science (Kansas State University)

**Wikidata**: [Q95147330](https://www.wikidata.org/wiki/Q95147330)  
**Source**: https://4ort.xyz/entity/david-a-schmidt

## Summary
David A. Schmidt is an American computer scientist and professor at Kansas State University. He is known for his contributions to programming language theory, formal methods, and computer science education, with a career spanning research, teaching, and mentorship of doctoral students.

## Biography
- **Born**: May 10, 1953
- **Nationality**: United States
- **Education**:
  - Ph.D. in Computer Science, Kansas State University (1981)
  - Bachelor of Arts in Mathematics, Fort Hays State University (1975)
- **Known for**: Research in programming languages, formal methods, and computer science education
- **Employer(s)**: Kansas State University, Iowa State University
- **Field(s)**: Computer Science

## Contributions
David A. Schmidt has made significant contributions to computer science, particularly in programming language theory and formal methods. His research includes work on denotational semantics, program analysis, and compiler design. He has published numerous papers and mentored several doctoral students, including John Mark Hatcliff, Anindya Banerjee, and Kyung-Goo Doh, who have gone on to make their own contributions to the field. Schmidt's work has influenced both academic research and practical applications in software engineering and programming languages.

## FAQs
### Q: What is David A. Schmidt known for?
A: David A. Schmidt is known for his research in programming language theory, formal methods, and computer science education. He has made significant contributions to denotational semantics and program analysis.

### Q: Where did David A. Schmidt earn his Ph.D.?
A: David A. Schmidt earned his Ph.D. in Computer Science from Kansas State University in 1981.

### Q: Who were David A. Schmidt's doctoral advisors?
A: His doctoral advisors were Neil D. Jones and Elizabeth A. Unger.

### Q: What institutions has David A. Schmidt been affiliated with?
A: David A. Schmidt has been affiliated with Kansas State University and Iowa State University.

### Q: What are some notable students mentored by David A. Schmidt?
A: Notable students include John Mark Hatcliff, Anindya Banerjee, and Kyung-Goo Doh.

## Why They Matter
David A. Schmidt's work in programming language theory and formal methods has had a lasting impact on computer science. His research has advanced the understanding of denotational semantics and program analysis, influencing both academic research and practical applications in software engineering. As a mentor, he has shaped the careers of numerous doctoral students, many of whom have become prominent figures in the field. His contributions to computer science education have also helped train the next generation of computer scientists.

## Notable For
- Research in programming language theory and formal methods
- Mentorship of prominent doctoral students in computer science
- Contributions to denotational semantics and program analysis
- Affiliation with Kansas State University and Iowa State University

## Body
### Early Life and Education
David A. Schmidt was born on May 10, 1953. He earned his Bachelor of Arts in Mathematics from Fort Hays State University in 1975. He later obtained his Ph.D. in Computer Science from Kansas State University in 1981, under the supervision of Neil D. Jones and Elizabeth A. Unger.

### Career and Research
Schmidt has had a distinguished career in academia, with affiliations at Kansas State University and Iowa State University. His research focuses on programming language theory, formal methods, and computer science education. He has published extensively in these areas and has mentored several doctoral students who have gone on to make significant contributions to the field.

### Mentorship and Legacy
David A. Schmidt has mentored numerous doctoral students, including John Mark Hatcliff, Anindya Banerjee, Kyung-Goo Doh, Husain Ibraheem Hajji Ibraheem, Karoline Malmkjær, Gurvan Le Guernic, and Elodie-Jane Sims. His mentorship has had a lasting impact on the field of computer science, with many of his students becoming prominent researchers and educators.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "David A. Schmidt",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {"@type": "Organization", "name": "Kansas State University"},
  "nationality": {"@type": "Country", "name": "United States"},
  "birthDate": "1953-05-10",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Kansas State University"},
    {"@type": "EducationalOrganization", "name": "Fort Hays State University"}
  ],
  "knowsAbout": ["Computer Science", "Programming Language Theory", "Formal Methods"],
  "sameAs": ["https://www.wikidata.org/wiki/Q12345678"],
  "description": "American professor of computer science known for his contributions to programming language theory and formal methods."
}

## References

1. Czech National Authority Database
2. Mathematics Genealogy Project
3. [Source](https://people.cs.ksu.edu/~schmidt/vita.html)
4. [Source](https://people.cs.ksu.edu/~schmidt/)
5. Virtual International Authority File
6. [Source](https://viaf.org/viaf/data/viaf-20230206-links.txt.gz)
7. LIBRIS. 2003