# Sebastian von Mammen
**Wikidata**: [Q130816342](https://www.wikidata.org/wiki/Q130816342)  
**Source**: https://4ort.xyz/entity/sebastian-von-mammen

## Summary
Sebastian von Mammen is a German computer scientist and university teacher known for his work in human-computer interaction (HCI) and formal methods. He has held academic positions at the University of Calgary, University of Augsburg, and University of Würzburg, where he currently works. His research has focused on developing formal grammars for swarm robotics and contributing to HCI advancements.

## Biography
- Born: [Not specified]
- Nationality: German
- Education:
  - PhD from Friedrich-Alexander-Universität Erlangen-Nürnberg
  - Bachelor's and Master's from University of Calgary
- Known for: Pioneering work in swarm grammars and formal methods in HCI
- Employer(s):
  - University of Würzburg (2017–present)
  - University of Augsburg (2012–2016)
  - University of Calgary (2006–2012)
- Field(s): Computer science, human-computer interaction, formal methods

## Contributions
Sebastian von Mammen is recognized for his doctoral thesis on swarm grammars, published in 2009, which introduced a formal framework for modeling swarm robotics systems. His work in HCI has contributed to the development of structured approaches to interaction design. He has also served as a doctoral advisor to researchers in the field. His publications and academic contributions have influenced formal methods and swarm robotics research.

## FAQs
### Q: What is Sebastian von Mammen known for?
A: Sebastian von Mammen is known for his work in formal methods, particularly swarm grammars, and his contributions to human-computer interaction (HCI) research.

### Q: Where did Sebastian von Mammen earn his doctorate?
A: Sebastian von Mammen earned his doctorate from Friedrich-Alexander-Universität Erlangen-Nürnberg.

### Q: What academic positions has Sebastian von Mammen held?
A: Sebastian von Mammen has held positions at the University of Calgary, University of Augsburg, and University of Würzburg.

### Q: Who was Sebastian von Mammen's doctoral advisor?
A: Sebastian von Mammen's doctoral advisor was Christian Jacob.

### Q: What is Sebastian von Mammen's current employer?
A: Sebastian von Mammen is currently employed at the University of Würzburg.

## Why They Matter
Sebastian von Mammen's work in formal methods and HCI has laid the groundwork for structured approaches to swarm robotics and interaction design. His research has influenced academic and industry practitioners, providing tools and frameworks that enhance the development of complex systems. His contributions have advanced the field of computer science by introducing formal grammars that improve the predictability and reliability of swarm robotics systems.

## Notable For
- Pioneered swarm grammars in formal methods
- Doctoral advisor to researchers in HCI and formal methods
- Published influential work on swarm robotics modeling
- Held key academic positions in computer science
- Contributed to structured approaches in human-computer interaction

## Body
### Education and Early Career
Sebastian von Mammen completed his Bachelor's and Master's degrees at the University of Calgary before earning his doctorate from Friedrich-Alexander-Universität Erlangen-Nürnberg. His doctoral thesis, published in 2009, introduced swarm grammars, a formal framework for modeling swarm robotics systems.

### Academic Positions
Von Mammen held academic positions at the University of Calgary from 2006 to 2012, followed by roles at the University of Augsburg (2012–2016) and the University of Würzburg (2017–present). His tenure at these institutions has focused on advancing formal methods and HCI research.

### Research Contributions
His research has been influential in formal methods, particularly in developing structured approaches to swarm robotics. Von Mammen's work has been cited in academic literature and has contributed to the development of tools and frameworks that improve system reliability and interaction design.

### Mentorship and Influence
As a doctoral advisor, Von Mammen has mentored researchers in HCI and formal methods, shaping the next generation of computer scientists. His mentorship has helped advance structured approaches to interaction design and swarm robotics.

### Publications and Recognition
Von Mammen's publications, including his doctoral thesis, have been widely referenced in the field. His work has earned recognition for its contributions to formal methods and HCI, influencing both academic and industry practitioners.

## References

1. [Source](https://hci.uni-wuerzburg.de/people/sebastian-von-mammen/)
2. [Source](http://www.vonmammen.org/publications/2009-Thesis-SwarmGrammars.pdf)