Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Willkommen an der Universität Paderborn. Bildinformationen anzeigen
Seit 45 Jahren gibt es den Hochschulstandort und den Campus der Universität Paderborn. Bildinformationen anzeigen
Zum Wintersemester 2017/18 lernen, arbeiten und forschen insgesamt ca. 19.700 Studierende (vorläufiger Stand: 28. September 2017) auf dem Campus der Universität Paderborn. Bildinformationen anzeigen
Der Uni-Campus: Im Frühjahr und Sommer viel Grün – im Herbst ein buntes Blättermeer. Bildinformationen anzeigen
Ob Grundlagenforschung oder angewandte Wissenschaft – an der Universität Paderborn werden junge Menschen für die Zukunft ausgebildet. Bildinformationen anzeigen

Start ins Wintersemester 2017/18

Willkommen an der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Seit 45 Jahren gibt es den Hochschulstandort und den Campus der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Zum Wintersemester 2017/18 lernen, arbeiten und forschen insgesamt ca. 19.700 Studierende (vorläufiger Stand: 28. September 2017) auf dem Campus der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Der Uni-Campus: Im Frühjahr und Sommer viel Grün – im Herbst ein buntes Blättermeer.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Ob Grundlagenforschung oder angewandte Wissenschaft – an der Universität Paderborn werden junge Menschen für die Zukunft ausgebildet.

Foto: Universität Paderborn, Adelheid Rutenburges

Julia Krämer

Kontakt
Vita
Publikationen

Spezifikation und Modellierung von Softwaresystemen

Wissenschaftliche Mitarbeiterin

Telefon:
+49 5251 60-5388
Büro:
O4 131

04/2015 - heute

Wissenschaftliche Mitarbeiterin an der Universität Paderborn

04/2013 - 03/2015

Master Computer Science an der Universität des Saarlandes, Saarbrücken

04/2012 - 03/2015

Stipendiatin der Studienstiftung des deutschen Volkes

10/2011 - 03/2013

Bachelor Informatik an der Universität des Saarlandes, Saarbrücken

Veröffentlichungen

C. Eisentraut, H. Hermanns, J. Krämer, A. Turrini, L. Zhang: Deciding Bisimilarities on Distributions. In K. Joshi, M. Siegle, M. Stoelinga, P. D'Argenio (eds.): Quantitative Evaluation of Systems. Springer Berlin/Heidelberg, LNCS, pp. 72-88 (2013)

Die Universität der Informationsgesellschaft