Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

 

M.Sc.

Tim Jungnickel

 

Contact


Address:

Technische Universität Berlin

Fakultät IV - Elektrotechnik und Informatik

Institut für Telekommunikation

Komplexe und Verteilte IT-Systeme

Einsteinufer 17

10587 Berlin

Raum: E-N 156

Phone:

+49-30-314-26978

Fax:

+49-30-314-21114

Homepage: tim_jungnickel

E-Mail:

jungnickel(at)soamed.de

Education


Member at SOAMED:

November 01, 2014
2011-2014

Computer Science at TU Berlin

Title of Master`s Thesis:

"Formal Analysis of Collaboration via Convergent Replicated Data Structures"

2008-2012

Computer Science at TU Berlin

Title of Bachelor`s Thesis:

"Videos für die Lehre - NP-Schwere und NP-Vollständigkeit"
2008 University-Entrance Diploma at Gymnasium Carolinum in Neustrelitz

Publication


2017

Tim Jungnickel, Lennart Oldenburg and Matthias Loibl. 2017. Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types. In: International Conference on Principles of Distributed Systems (OPODIS)

2017

Tim Jungnickel and Ronny Bräunlich: formic: Building Collaborative Applications with Operational Transformation, Distributed Applications and Interoperable Systems (DAIS'17), 2017.

2017

T. Jungnickel and L. Oldenburg: pluto: The CRDT-Driven IMAP Server, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '17 @ EuroSys), to appear

2017

T. Jungnickel, J. Cabelloand, K. Raile: HotPi: Open-Source Collaborative Patient Documentation, ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW '17), 2017.

2016

Tim Jungnickel and Tobias Herb:

"Simultaneous Editing of JSON Objects via Operational Transformation"

In Proceedings of the 31st ACM Symposium on Aplied Computing (SAC '16). 2016

2016

Tobias Herb, Tim Jungnickel and Christoph Alt:

"Weak Consistency and stochastic Environments: Harmonization of replicated Machine Learning Models"

In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPOC '2016 @ Eurosys) 2016

2016

Bisping, Brodmann, Jungnickel, Rickmann, Seidler, Stüber, Wilhelm-Weidner, Peters, Nestmann:

"Mechanical Verification of a Constructive Proof for FLP"

In Proceedings of the 7th International Conference of Interactive Theorem Proving (IIP '16) 2016.