Josef Lubas

Josef Lubas is a PhD candidate in the Research Group Information and Communication Systems at the University of Klagenfurt, Austria. He holds a BSc and MSc and is supervised by Prof. Johann Eder. His work focuses on process modeling, temporal constraints, and legal technology applications in smart contracts.

Education: BSc, MSc (details unspecified); current PhD candidate in Informatics Systems.

Research Interests: Josef specializes in temporal aspects of process models, conflict resolution in workflow systems, and legal smart contracts. His work bridges theoretical computer science with practical applications in business process management and regulatory compliance.

Publications (2020–2023): Focus on temporal logic applications in process scheduling, dynamic controllability, and integrating time-aware models into legal frameworks. Recent work emphasizes smart contract systems with legal enforceability.

Labs/Teams: Member of Team ICS within the Information and Communication Systems group. Collaborates with Prof. Eder’s research team on temporal data modeling and process engineering.