Øystein Haugen

---

Title	Professor
Affiliation	Østfold University College (Høyskolen i Østfold)
Address	Halden, Norway
Department	Faculty of Computer Science
Research Group	Cyber-Physical Systems
Office	B.R.A veien 4, Halden
Phone	+47 913 90 914 (mobile)
Email	oystein.haugen {at} hiof.no
Adjunct position	Senior Researcher
Affiliation	SINTEF Digital, Oslo
Research Group	Secure IoT Software

---

Research Interests Cyber-Physical Systems Variability Modeling and Software Product Lines Object Oriented Languages and Methods  Software Engineering Practical formal methods	Current main projects: Technology-Energy-Society (website in Norwegian) Productive4.0 (an ECSEL Lighthouse project)
Teaching: Modeling Cyber-Physical Systems (Spring 2018) Master Thesis topics 2017	Publications: Selected recent publications PhD Thesis: Practitioners' Verification of SDL Systems (Acrobat 6.0, 1.7 Mb)

---

Updated: 11. October 2017