# Michael Thomas

> German researcher in theoretical computer science

**Wikidata**: [Q102373345](https://www.wikidata.org/wiki/Q102373345)  
**Source**: https://4ort.xyz/entity/michael-thomas

## Summary
Michael Thomas is a German researcher in theoretical computer science, specializing in logic and parameterized complexity. He earned his doctorate in computer science from Leibniz University Hannover in 2010, with advisors Heribert Vollmer and Nadia Creignou. His work has contributed to the study of default logic and autoepistemic logic, shaping foundational research in the field.

## Biography
- Born: [No data available]
- Nationality: Germany
- Education: Doctor of Philosophy in computer science from Leibniz University Hannover (2010)
- Known for: Research in parameterized complexity of default logic and autoepistemic logic
- Employer(s): TWT Science & Innovation (since 2012), Leibniz University Hannover (2010–2012)
- Field(s): Theoretical computer science, logic

## Contributions
Michael Thomas has made significant contributions to theoretical computer science, particularly in the parameterized complexity of nonmonotonic logics. His research, published in 2012, analyzed the complexity of default logic and autoepistemic logic, providing insights into their computational behavior. His work has been referenced in academic literature, including a paper titled "On the Parameterized Complexity of Default Logic and Autoepistemic Logic," which highlights his expertise in the field. Thomas's doctoral work under the supervision of Heribert Vollmer and Nadia Creignou further established his role as a key figure in advancing the understanding of nonmonotonic reasoning systems.

## FAQs
### Q: What is Michael Thomas known for?
A: Michael Thomas is known for his research in parameterized complexity, particularly in the study of default logic and autoepistemic logic. His work has contributed to foundational advancements in theoretical computer science.

### Q: Where did Michael Thomas earn his doctorate?
A: Michael Thomas earned his Doctor of Philosophy in computer science from Leibniz University Hannover in 2010.

### Q: Who were Michael Thomas's doctoral advisors?
A: Michael Thomas's doctoral advisors were Heribert Vollmer and Nadia Creignou.

### Q: What is Michael Thomas's current employer?
A: Michael Thomas is currently employed at TWT Science & Innovation, having joined the organization in 2012.

### Q: What languages does Michael Thomas speak?
A: Michael Thomas speaks German and English.

## Why They Matter
Michael Thomas's work in theoretical computer science has significantly impacted the understanding of nonmonotonic logics, particularly in the areas of default logic and autoepistemic logic. His research has provided critical insights into the parameterized complexity of these logics, contributing to the broader field of artificial intelligence and knowledge representation. By analyzing the computational behavior of these logics, Thomas has helped shape the theoretical foundations that underpin advanced reasoning systems. His contributions have influenced subsequent research and have been referenced in academic literature, ensuring his work remains relevant in the field.

## Notable For
- Published research on the parameterized complexity of default logic and autoepistemic logic (2012)
- Doctoral work supervised by Heribert Vollmer and Nadia Creignou
- Employment at Leibniz University Hannover (2010–2012) and TWT Science & Innovation (since 2012)
- Expertise in theoretical computer science and logic

## Body
### Education
Michael Thomas completed his Doctor of Philosophy in computer science at Leibniz University Hannover in 2010. His doctoral advisors were Heribert Vollmer and Nadia Creignou, both prominent figures in the field of theoretical computer science.

### Research Focus
Thomas's research primarily focuses on the parameterized complexity of nonmonotonic logics, specifically default logic and autoepistemic logic. His work has been instrumental in understanding the computational challenges associated with these logics.

### Publications
Thomas's research has been published in academic journals and conferences, with a notable paper titled "On the Parameterized Complexity of Default Logic and Autoepistemic Logic" (2012). This work has been referenced in subsequent research, demonstrating its significance in the field.

### Professional Career
After completing his doctorate, Thomas joined Leibniz University Hannover, where he contributed to research in theoretical computer science. In 2012, he transitioned to TWT Science & Innovation, where he continues to work on advanced topics in logic and computer science.

### Language Skills
Thomas is proficient in both German and English, facilitating collaboration with researchers and institutions worldwide.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Michael Thomas",
  "jobTitle": "Researcher",
  "worksFor": {"@type": "Organization", "name": "TWT Science & Innovation"},
  "nationality": {"@type": "Country", "name": "Germany"},
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Leibniz University Hannover"}],
  "knowsAbout": ["Theoretical computer science", "Logic"],
  "description": "German researcher in theoretical computer science specializing in logic and parameterized complexity."
}

## References

1. Mathematics Genealogy Project