Benjamin Richter

Benjamin Richter
Office: S2|02 E302
Phone: +49 6151 16-25254
Fax: +49 6151 16-25251

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


GPG-Key: 6905 DDDF 9339 DBAC 2E8A  99BF AD13 6E03 7863 843D (download)

Short Bio

Before joining the MAIS group, I studied Computer Science at TU Darmstadt and obtained B.Sc. and M.Sc. degrees.

Research Interests

  • Weak Memory Consistency Models
  • Formal modeling with Isabelle/HOL
  • Modularity & Compositionality


These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


  • Benjamin Richter. From Axioms about Relaxed Consistency to Executions in an Operational Model. Master's Thesis, TU Darmstadt, 2017.
    BibTeX entry ]


Last modified on 13 May 2019.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang