Dr. rer. nat. Jan Sürmeli

Postdoctoral Research Associate at Software Engineering, Technische Universität Berlin

My research interests

My Research Interests

Currently, my research focuses on Identity Management, tackling the challenge of enabling entities to safely and securely grant access to their personal data while maintaning control and transparency. My work involves cooperation with the Forschungszentrum Informatik, ITSO, and DCAITI.

Former Research Interests

My former research focused on behavioral models and their composition. In particular, I studied their formal modeling, analysis, verification, and synthesis. Thereby, I was mostly interested in models that exhibit concurrency and asynchronous message exchange of components, such as models of business processes, workflows, reactive systems, and services.

Doctoral Thesis

I finished and successfully defended my thesis Optimale Partner für offene Systeme (Optimal Partners for Open Systems) in December 2014 and April 2015, respectively. During my PhD studies I was member of the Theory of Programming Group at the Humboldt-Universität zu Berlin, the B.E.S.T. research cooperation, and an associate member of the SOAMED graduate school.

Publications

My DBLP profile provides an overview over my publications.
My Teaching
Word Cloud by Tagxedo

My Teaching

Currently, I am focusing on research. Please find an overview of my former teaching activities below, and more details in my teaching track record.

From 2009 to 2016

I mostly instructed diploma, bachelor and master students in tutorials and seminars offered by the Theory of Programming Group, Humboldt-Universität zu Berlin. Main topics where modeling, specification and analysis of distributed systems and algorithms. For one semester, each, I supported the Logics in Computer Science group, the Knowledge Management in Bioinformatics group, and the Software Engineering group tutoring bachelor students in logics, algorithms and datastructures, and programming 101, respectively.

Students' theses

Over the course of the last years, I supervised a handful of diploma and bachelor theses. The topics where focused on behavioral models, addressing formal modeling, analysis, verification, synthesis and refinement of distributed systems.
My education

My Education

Doctoral Thesis

I finished and successfully defended my thesis Optimale Partner für offene Systeme (Optimal Partners for Open Systems) in December 2014 and April 2015, respectively. During my PhD studies I was member of the Theory of Programming Group at the Humboldt-Universität zu Berlin, the B.E.S.T. research cooperation, and an associate member of the SOAMED graduate school.

Studies

I studied computer science at the Humboldt-Universität zu Berlin, and received my Diplom in 2009.

School

I received my Abitur (A-Levels) in 2003 from the Paulsen Gymnasium in Berlin, Germany.