Yngve Lamo

Professor Yngve Lamo is a faculty member at Western Norway University of Applied Sciences (HVL) in the Department of Computer Science, Electrical Engineering and Mathematical Sciences. His research spans formal methods, model-driven engineering, and healthcare information systems with a particular focus on business process modeling and mental health technology applications.

• Institution: Western Norway University of Applied Sciences
• Department: Computer Science, Electrical Engineering and Mathematical Sciences
• Location: Bergen KRONSTAD D410
• Contact: +47 55 58 75 67

Professor Lamo's research focuses on formal methods in software engineering, particularly model-driven engineering approaches for business process modeling and analysis. His work demonstrates significant contributions to BPMN formalization using graph transformation systems, multi-model consistency management, and healthcare information systems. He has developed tools like the Visual Debugger and BPMN Analyzer 2.0 that provide practical solutions for model analysis and verification.

His publication trends reveal a strong focus on applying formal methods to healthcare systems, particularly in mental health technology. Recent work (2022-2024) shows increasing emphasis on privacy-preserving data analysis, adaptive mental health systems, and multi-dimensional health data frameworks. His research bridges theoretical computer science with practical healthcare applications, demonstrating consistent productivity with numerous publications each year across top venues in software engineering and health informatics.

Professor Lamo has made significant contributions to model-driven engineering, particularly in the areas of BPMN analysis, multi-model consistency, and healthcare information systems. His work on the Visual Debugger tool and BPMN Analyzer 2.0 represents practical applications of his theoretical research in formal methods.

His research program demonstrates strong continuity in model-driven engineering approaches while expanding into healthcare applications. Current projects focus on adaptive technology for mental health care, privacy-preserving data analysis for health systems, and advanced techniques for multi-model consistency management. Professor Lamo's work shows strong interdisciplinary collaboration, particularly between computer science and healthcare domains.