Staff
Koehler Profile Image

Mirko Köhler M.Sc.

Reactive Software Systems

Working area(s)

E5

Contact

work +49 6151 16-21367

Work S2|02 B220
Hochschulstr. 10
64289 Darmstadt

I work on programming abstractions for replicated data. Currently, I’m the main contributor to ConSysT, an object-oriented language for mixed consistency with replicated objects. My research interests include concurrency, mixed consistency protocols, and type systems.

I am also member of the Programming Group.

Projects

I am a researcher in the project E5 – Privacy-Aware Distributed Computation of the SFB 1119 CROSSING.

Short Biography

since 2019 Doctoral Researcher at STG. Doing my PhD under supervision of Prof. Guido Salvaneschi
2017-2019 Doctoral Researcher at Reactive Programming Group of Prof.
Guido Salvaneschi at TU Darmstadt
2015-2017 Master in IT Security at TU Darmstadt
2013-2015 Master in Computer Sciene at TU Darmstadt
2009-2013 Bachelor in Computer Science at TU Darmstadt

Teaching

Term Courses
Winter 2018/19
  • Teaching Assistant 'Concepts of Programming Languages'
Winter 2017/18
  • Teaching Assistant 'Concepts of Programming Languages'

Publications

Loading...
Loading data from TUbiblio…

Error on loading data

An error has occured when loading publications data from TUbiblio. Please try again later.

  • {{ year }}

    • ({{ publication.date.toString().substring(0,4) }}):
      {{ publication.title }}. ({{ labels[publication.doc_status] }})
      In: {{ publication.book_title }}, {{ publication.number}} ({{ publication.journal_volume }}), {{ publication.volume }}, In: {{ publication.series }}, {{ publication.volume }}, ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN: {{ publication.issn }}, ISBN: {{ publication.isbn }}, [{{ labels[publication.type]?labels[publication.type]:publication.type }}]
    • […]

Number of items in this list: {{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.

View complete list at TUbiblio View this list at TUbiblio