# Alexandra Tsyban

> Dr.-Ing. Universität des Saarlandes 2009

**Wikidata**: [Q102438275](https://www.wikidata.org/wiki/Q102438275)  
**Source**: https://4ort.xyz/entity/alexandra-tsyban

## Summary
Alexandra Tsyban is a German computer scientist who earned her Dr.-Ing. (doctoral degree in engineering) from Saarland University in 2009 under the supervision of Professor Wolfgang Paul. Her work represents part of the ongoing academic research output in theoretical computer science at one of Germany's leading computer-science departments.

## Biography
- Born: not specified in source material
- Nationality: German
- Education: Dr.-Ing., Saarland University, 2009
- Known for: doctoral research in computer science
- Employer(s): not specified in source material
- Field(s): computer science

## Contributions
The only verifiable contribution documented in the provided sources is the completion of her doctoral dissertation at Saarland University in 2009, supervised by Wolfgang Paul. Saarland's computer-science department has a strong reputation in formal methods, verification, and theoretical computer science, so her dissertation likely addressed topics within those areas, but no title, publications, or subsequent projects are supplied. Without access to the dissertation itself or to related publications, concrete outcomes—such as algorithms developed, software released, or follow-up citations—cannot be listed. The Mathematics Genealogy Project entry (ID 197552) confirms the degree date and advisor relationship, serving as the principal external confirmation of her academic footprint.

## FAQs
### Q: What did Alexandra Tsyban research for her doctorate?
A: Source material only confirms that she completed a Dr.-Ing. at Saarland University in 2009 under Wolfgang Paul; the specific dissertation topic is not provided.

### Q: Where can I find her publications?
A: No publication list appears in the supplied data; standard academic indexes or her institutional repository would need to be consulted.

### Q: Is she still active in academia?
A: Current affiliation or career status after 2009 is not documented in the available information.

## Why They Matter
Because verifiable details are limited to her 2009 doctorate, it is not possible to assess a broader impact on the field. Saarland University is internationally recognized for rigorous work in areas such as program verification, automata theory, and compiler construction; graduates of its Ph.D. program often contribute foundational techniques used in safety-critical systems or advanced static-analysis tools. While Alexandra Tsyban's specific influence cannot be quantified from the given data, completing a Dr.-Ing. under Wolfgang Paul indicates participation in that high-standard research environment and adds to the cumulative body of expertise trained there.

## Notable For
- Earned Dr.-Ing. from Saarland University, 2009
- Doctoral advisor: Wolfgang Paul, noted German computer scientist
- Entry in the Mathematics Genealogy Project (ID 197552), confirming her place in the academic lineage of computer-science researchers

## Body
### Doctoral Training
Alexandra Tsyban completed her doctorate at Universität des Saarlandes (Saarland University), one of Germany's premier computer-science institutions, in 2009. The degree awarded was Dr.-Ing., the German engineering doctorate. Wolfgang Paul—professor at Saarland since 1986 and a researcher with contributions to processor verification and formal methods—served as her doctoral advisor.

### Academic Lineage
The Mathematics Genealogy Project lists her as node 197552, connecting her to an academic tree that includes several influential European computer scientists. This entry corroborates the graduation year and advisor pairing but cites no dissertation title or subsequent students.

### Institutional Context
Saarland University's Department of Computer Science hosts numerous research institutes, including the Max Planck Institute for Software Systems and the German Research Center for Artificial Intelligence (DFKI). Doctoral graduates from this environment frequently publish in conferences such as CAV, POPL, or TACAS, but no publication record for Tsyban is supplied in the current dataset.

## References

1. Mathematics Genealogy Project