Lawrence Cabac

Dr. Lawrence Cabac is a Professor (acting) at the Department of Computer Science, University of Hamburg, within the Theoretical Foundations of Computer Science group. He holds a Ph.D. in Informatics and specializes in Petri Nets, Agent Systems, and Software Engineering. His research focuses on integrating Petri Nets with agent-oriented software development, workflow modeling, and distributed systems.

Teaching includes courses on Petri Nets, Formal Foundations of Computer Science, and Agent Systems. He has led projects like Renew (a Petri Net tool), PAOSE (Petri Net-based Agent-Oriented Software Engineering), and Mulan/Capa frameworks. Active in academic service, he co-edits PNSE workshops and contributes to tool development for Petri Net applications.

Research interests span formal methods, model-driven development, and distributed architectures. His work bridges theory and practice, emphasizing Petri Net applications in agent systems and software engineering.