# Monika Heiner

> researcher

**Wikidata**: [Q42371929](https://www.wikidata.org/wiki/Q42371929)  
**Source**: https://4ort.xyz/entity/monika-heiner

## Summary
Monika Heiner is a German computer scientist and researcher known for her work in theoretical computer science and formal methods. She has been a professor at Brandenburg University of Technology Cottbus-Senftenberg since 1994 and has supervised numerous doctoral students in computer science.

## Biography
- Born: 1954
- Nationality: German
- Education: Doctorate from TUD Dresden University of Technology (1980)
- Known for: Research in theoretical computer science and formal methods
- Employer(s): Brandenburg University of Technology Cottbus-Senftenberg (since 1994)
- Field(s): Computer science, theoretical computer science, formal methods

## Contributions
Monika Heiner has made significant contributions to theoretical computer science and formal methods through her academic career at Brandenburg University of Technology Cottbus-Senftenberg. As a professor since 1994, she has supervised at least seven doctoral students who completed their PhDs between 2001 and 2017, including Peter H. Deussen, Jochen Spranger, Alexey A. Tovchigrechko, Fei Liu, Mostafa Herajy, Martin Schwarick, and Christian Rohr. Her research has been widely cited and recognized in the academic community, with her work indexed in major academic databases including Scopus, DBLP, and Google Scholar. She has maintained an active research program focused on advancing theoretical foundations and formal methods in computer science.

## FAQs
### Q: What is Monika Heiner's primary research area?
A: Monika Heiner specializes in theoretical computer science and formal methods, focusing on the mathematical foundations and rigorous approaches to computing systems.

### Q: Where does Monika Heiner work?
A: She has been a professor at Brandenburg University of Technology Cottbus-Senftenberg since 1994, where she conducts research and supervises doctoral students.

### Q: How many doctoral students has Monika Heiner supervised?
A: Based on available records, she has supervised at least seven doctoral students who completed their PhDs between 2001 and 2017.

## Why They Matter
Monika Heiner's work in theoretical computer science and formal methods has contributed to advancing the rigorous mathematical foundations of computing. Through her long-standing academic career at Brandenburg University of Technology Cottbus-Senftenberg, she has not only conducted research but also mentored the next generation of computer scientists through her supervision of multiple doctoral students. Her sustained presence in academia since 1994 has helped establish and maintain strong research programs in computer science in eastern Germany, particularly in the Cottbus-Senftenberg region. The success of her doctoral students in completing their degrees and entering the field demonstrates her effectiveness as an academic mentor and researcher.

## Notable For
- Professor at Brandenburg University of Technology Cottbus-Senftenberg since 1994
- Supervised seven doctoral students between 2001-2017 in computer science
- Published researcher with work indexed in major academic databases (Scopus, DBLP, Google Scholar)
- Doctorate from TUD Dresden University of Technology (1980)
- Active researcher in theoretical computer science and formal methods

## Body
### Academic Career
Monika Heiner has maintained a continuous academic career at Brandenburg University of Technology Cottbus-Senftenberg since April 1, 1994. Her position as a professor has allowed her to develop long-term research programs and build expertise in theoretical computer science and formal methods.

### Doctoral Supervision
Between 2001 and 2017, Heiner supervised at least seven doctoral students who completed their PhDs at Brandenburg University of Technology Cottbus-Senftenberg. This includes multiple students who graduated in the same years (2001, 2008, 2012, 2013, 2014, and 2017), indicating active and sustained research supervision over at least a 16-year period.

### Research Impact
Her research work has achieved significant academic recognition, with her publications and contributions indexed in major academic databases including Scopus (author ID: 6602723511), DBLP (author ID: 92/3962), and Google Scholar. She also maintains an ORCID identifier (0000-0003-1815-1205), which is used for disambiguating researcher identities in academic publishing.

### Educational Background
Heiner completed her doctoral studies at TUD Dresden University of Technology, earning her doctorate in 1980. This educational foundation in East German academia preceded her long-term appointment at Brandenburg University of Technology Cottbus-Senftenberg.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Monika Heiner",
  "jobTitle": "Professor of Computer Science",
  "worksFor": {
    "@type": "Organization",
    "name": "Brandenburg University of Technology Cottbus-Senftenberg"
  },
  "nationality": {
    "@type": "Country",
    "name": "Germany"
  },
  "birthDate": "1954",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "TUD Dresden University of Technology"
    }
  ],
  "knowsAbout": [
    "Theoretical Computer Science",
    "Formal Methods"
  ],
  "sameAs": [
    "https://viaf.org/viaf/81736459",
    "https://www.wikidata.org/wiki/Q97033143"
  ],
  "description": "German computer scientist and professor known for research in theoretical computer science and formal methods"
}

## References

1. Integrated Authority File
2. Mathematics Genealogy Project
3. [Source](https://orcid.org/0000-0003-1815-1205)
4. Virtual International Authority File
5. Czech National Authority Database