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
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 |
|
| Winter 2017/18 |
|
Publications
Error on loading data
An error has occured when loading publications data from TUbiblio. Please try again later.
-
{{ year }}
-
; {{ creator.name.family }}, {{ creator.name.given }}{{ publication.title }}.
; {{ editor.name.family }}, {{ editor.name.given }} (eds.); ; {{ creator }} (Corporate Creator) ({{ publication.date.toString().substring(0,4) }}):
In: {{ publication.series }}, {{ publication.volume }}, In: {{ publication.book_title }}, In: {{ publication.publication }}, {{ publication.journal_volume}} ({{ publication.number }}), ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_title }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, DOI: {{ publication.doi.toString().replace('http://','').replace('https://','').replace('dx.doi.org/','').replace('doi.org/','').replace('doi.org','').replace("DOI: ", "").replace("doi:", "") }}, Official URL, {{ labels[publication.type]?labels[publication.type]:publication.type }}, {{ labels[publication.pub_sequence] }}, {{ labels[publication.doc_status] }} - […]
-
Number of items in this list: >{{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.