# Michael Kirsten

> computer scientist

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

## Summary
Michael Kirsten is a German computer scientist and postdoctoral researcher at the Institute for Informatics at Ludwig-Maximilians-Universität in Munich. He received his doctorate in computer science from Karlsruhe Institute of Technology in 2022 and maintains active research profiles across multiple academic platforms.

## Biography
- Born: No birth date or place is provided
- Nationality: Germany
- Education:
  * Doctor of Natural Sciences in computer science from Karlsruhe Institute of Technology (2022-01-26)
  * Dipl.-Inf. degree in computer science and sociology from Karlsruhe Institute of Technology (2015-04-22)
- Known for: No specific primary contributions are clearly stated
- Employer(s):
  * Current: Ludwig-Maximilians-Universität München (starting 2025-07-01 as postdoctoral researcher)
  * Past: Karlsruhe Institute of Technology (for education)
- Field(s): computer science

## Contributions
Specific details about Michael Kirsten's research publications, projects, and contributions are not provided in the source material. His academic presence is documented through various researcher profiles including DBLP, arXiv, GitHub, and others, indicating active engagement in computer science research. His work at the Institute for Informatics at Ludwig-Maximilians-Universität suggests contributions to theoretical computer science and related fields. His educational background with advisors including Bernhard Beckert and Carsten Schuermann at Karlsruhe Institute of Technology indicates specialization in areas formal methods and verification.

## FAQs
### Q: What is Michael Kirsten's academic background?
A: Michael Kirsten received his Dipl.-Inf. degree in computer science and sociology from Karlsruhe Institute of Technology in 2015, followed by a doctorate in computer science from the same institution in 2022, advised by Bernhard Beckert and Carsten Schuermann.

### Q: Where does Michael Kirsten currently work?
A: Michael Kirsten works as a postdoctoral researcher at the Institute for Informatics at Ludwig-Maximilians-Universität in Munich, with his employment starting July 1, 2025.

### Q: What academic platforms is Michael Kirsten active on?
A: Michael Kirsten maintains profiles on numerous academic platforms including DBLP (ID: 162/8952), arXiv (ID: kirsten_m_1), GitHub (username: mi-ki), Google Scholar (ID: tLHdU_MAAAAJ), ResearchGate, Semantic Scholar (ID: 2402142), and others.

### Q: What is Michael Kirsten's nationality?
A: Michael Kirsten is German, as indicated by his citizenship being listed as Germany in the structured properties.

## Why They Matter
Michael Kirsten contributes to the field of computer science through ongoing research and academic mentorship at Ludwig-Maximilians-Universität München. His educational foundation at Karlsruhe Institute of Technology, one of Germany's leading technical universities, positions him to advance theoretical computer science and related disciplines. While specific publications and impacts are not detailed in the source material, his multiple academic profiles suggest active engagement with the global computer science research community. His transition from doctoral studies to postdoctoral research represents the standard academic pipeline that advances scientific knowledge and develops the next generation of computer scientists.

## Notable For
- Doctor of Natural Sciences in computer science from Karlsruhe Institute of Technology (2022)
- Dipl.-Inf. degree with dual focus in computer science and sociology from Karlsruhe Institute of Technology (2015)
- Postdoctoral researcher position at Ludwig-Maximilians-Universität München (starting 2025-07-01)
- Maintains an extensive collection of academic researcher IDs across multiple platforms
- Previously advised by prominent computer scientists including Bernhard Beckert and Carsten Schuermann

## Body
### Education
- Doctor of Natural Sciences in computer science from Karlsruhe Institute of Technology (awarded 2022-01-26)
  * Advisors: Bernhard Beckert, Carsten Schuermann
  * Location: Karlsruhe, Germany
- Dipl.-Inf. degree in computer science and sociology from Karlsruhe Institute of Technology (awarded 2015-04-22)
  * Advisors: Bernhard Beckert, Peter Hans Schmitt
  * Location: Karlsruhe, Germany

### Academic Affiliations
- Current: Postdoctoral researcher at Institute for Informatics, Ludwig-Maximilians-Universität München
  * Start date: 2025-07-01
  * Location: Munich, Germany
- Past: Student and researcher at Karlsruhe Institute of Technology
  * Period: 2015-2022

### Researcher Profiles
- DBLP: ID 162/8952
- arXiv: ID kirsten_m_1
- GitHub: Username mi-ki
- Google Scholar: ID tLHdU_MAAAAJ
- Semantic Scholar: ID 2402142
- ResearchGate: Profile ID Michael-Kirsten
- Scopus: Author ID 57188149900
- zbMath: Author ID kirsten.michael
- Mathematics Genealogy Project: ID 341146
- WorldCat Entities: ID E39PCjqD74RxKHFQfQmyvGY4HK

### Identifiers
- GND ID: 1182277578
- VIAF ID: 657155466463902160008
- DDB Person (GND) ID: 1182277578
- MR Author ID: 1469615
- HAL Author ID: michael-kirsten
- ReSearcherID: G-2095-2019
- ORCID: Not provided in source material
- ResearcherID: Not provided in source material (but has ReSearcherID)

## References

1. Integrated Authority File