Julian Haas M.Sc.
Software Technology Group
Contact
haas@cs.tu-...
work +49 6151 16-21367
Work
S2|02 B220
Hochschulstraße 10
64289
Darmstadt
I am a PhD student at the software technology group, supervised by Mira Mezini and co-supervised by Annette Bieniusa at TU Kaiserslautern.
My interests lie in the theory and applications of programming languages, broadly ranging from type systems and formal verification to language implementation.
My current research is focused on programming languages for safe decentralized applications. I particularly try to facilitate the construction of privacy-preserving applications (following e.g. the local-first (opens in new tab) paradigm) which give users more control about where their data is stored and processed.
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.