Louchka Popova-Zeugmann

PD Dr. habil. Louchka Popova-Zeugmann is a Senior Lecturer at the Institute of Computer Science, Humboldt University of Berlin, specializing in Petri Nets and Concurrency. Her research focuses on modeling and analyzing time-dependent systems using Petri Nets, with applications in biochemical networks and software engineering.

• Education: Doctorate in Mathematical Computer Science (1989), Humboldt University of Berlin.
• Habilitation: Computer Science (2007), Humboldt University of Berlin.

Her work spans algorithm design for time Petri Nets, dynamic programming, and quantitative evaluation of concurrent systems. Publications include studies on time constraints, priorities, and biochemical modeling.

She has taught courses on Applied Mathematics for Computer Science and Time and Petri Nets, emphasizing formal methods and system modeling.