Wolf Zimmermann -

Registered user since Fri 20 Mar 2026

Name:Wolf Zimmermann

Country:Germany

Affiliation:Martin-Luther-University Halle-Wittenberg

Contributions

2026

ECSA

Session Chair of Security, Distributed and User-Facing Architectures (part of Research)
Author of SIZ-MSH: Development of an interdisciplinary software integration center in medical and nursing care facilities, with a particular focus on the Mansfeld-Südharz district within the ESOCC-track

ESOCC

Committee Member in Program Committee within the ESOCC 2026-track

WADT

Author of Feasible Morphism of Polymorphism and Partial Operations to Many-sorted Algebra with Constructors within the WADT 2026-track

FM

Author of Automatic Assessment and Feedback on Undergraduates’ Structural Induction Proofs within the Workshop: FMTea-track

2025

CSEE&T

Author of Automatic Assessment of Structural Induction Proofs for Undergraduate Computer Science Courses within the Software Engineering Education-track

ESOCC

Committee Member in Program committee within the ESOCC-track