left header image
Hausi A. Müller
right header image

Professor, Associate Dean Research PhD PEng FCAE
Faculty of Engineering
Department of Computer Science
University of Victoria

Last updated
July 2016

IEEE Computer Society Election

I was nominated for IEEE Computer Society President Elect.
Please visit my election websitePlease vote here —  Thank you!

VP IEEE CS T&C

I am the 2016 Vice President of IEEE Computer Society Technical and Conferences Activities Board (T&C).
Please watch my IEEE CS Learning Webinar on Conferences (March 2016, 30 mins).

Cyber Physical Systems Research

Please submit papers to our Workshop on MARTCPS — Models at Runtime & Networked Control for Cyber Physical Systems to be held at WF-IoT 2016 — World Forum on Internet of Things.

Please submit papers to Doctoral Forum at WF-IoT 2016 — scroll down far on the CFP page.

Cyber physical systems (CPS) are smart, distributed, software-intensive systems that control tightly integrated computational and physical components. These systems involve a high degree of complexity at numerous spatial and temporal scales and control software and physical components with networked communications. CPS technologies are becoming the key enablers for how we control and build smarter engineered systems, such as autonomous vehicles, smart cities and buildings, renewable energy systems, personalized health care, medical devices, water management systems, and food supply chains. It is imperative to position Canada at the forefront in this industrial revolution.
The goal of my research program is to understand and enhance the capabilities that can be added to humans and machines with tightly integrated networked control. There are many challenges that must be addressed in CPS foundations to be able to harvest its rich economic opportunities. I will investigate scientific foundations and technologies towards a CPS control and systems science (CSS) to analyse and design CPS that are controlled through real-time, networked feedback loops. CSS will provide a platform to analyse, design, simulate, optimize, validate, and verify CPS. A CPS modifies its behaviour at runtime in response to changes within the system or its physical environment. The fulfilment of CPS requirements must be guaranteed even in the presence of adaptations. Traditionally, confidence in the correctness of a system is gained through analyses performed at design time. In the case of CPS, some assurance tasks must be performed at runtime. This calls for methods and techniques that enable continuous CPS assurance throughout its life cycle. A model at runtime (MART) is a causally connected self-representation of the associated system that emphasizes its structure, behaviour, and goals from a problem space stages is no longer apparent. My objective is to explore MART for different aspects of concrete application domains to deal with CPS dynamics to provide effective techniques for analysing, guaranteeing and predicting CPS properties.
The societal impact of CPS is enormous. Advances in the interconnected capabilities of CPS affect virtually every engineered system. The technologies emerging from combining the cyber and physical worlds will provide an innovation and incubation engine for a broad range of industries—creating entirely new markets and platforms for years to come. CPS are advanced technology systems that require knowledge and training for their development and operation. A skilled workforce to support future CPS is a challenge in its own right and of strategic importance. 

Research Team

Together with my research group at the University of Victoria and in collaboration with IBM Canada, CA Canada, SAVI NSERC Strategic Research Network, Canadian Consortium for Software Engineering Research (CSER),and the Carnegie Mellon Software Engineering Institute (SEI), I investigate methods, models, architectures, techniques, and feedback loops for autonomic, self-managing, self-adaptive, diagnosis, and SOA governance systems. In 2006 I received the IBM Faculty Fellow of the Year Award and the CSER Outstanding Leadership Award. My research is sponsored by NSERC, CSER, IBM Corporation, CA Inc., and the University of Victoria.

SAVI

 am a principal investigator in the NSERC Strategic Research Network for Smart Applications on Virtual Infrastructure (SAVI). The main research goal of the SAVI Network is to address the design of future applications platforms built on a flexible, versatile and evolvable infrastructure that can readily deploy, maintain, and retire the large-scale, possibly short-lived, distributed applications that will be typical in the future applications marketplace. The SAVI partnership involves investigators from nine Canadian universities and 13 companies bringing together expertise in networking, cloud computing, applications, and business.

TCSE

I was Chair of IEEE Computer Society’s Technical Council on Software Engineering (TCSE), 2011-2015.  TCSE serves a valuable role in the international software engineering community for academic researchers and industry professionals. Its portfolio includes over 25 software engineering conferences and workshops. Key priorities of TCSE include strong support for its publications, conferences, and workshops; leadership in software engineering education and international outreach; an active role in public policy issues; and good relations with other software engineering societies and regional associations.

BSENG: Bachelor of Software Engineering

I was the founding Director of the Bachelor of Software Engineering (BSEng) degree program in the Faculty of Engineering (2003-07) and the chief architect of the BSENG curriculum (2002-07).

Tool Building Experience

Over the last 30 years, we accumulated significant software engineering research tool building experience. This experience is distilled in the dissertations of Holger Kienle and Kenny Wong. Jochen Stier developed Geist3D, a visualization engine for simulating mechatronics systems during his PhD studies. Johannes Martin's dissertation produced Ephedra, a C/C++ to Java software transformation environment based on our experience with IBM transforming PL/IX programs to C++. The ACRE project produced a series of reverse engineering tools built on commercial products, including Visio, Lotus Notes, Excel, Adobe GoLive, and SVG. During her PhD studies Peggy Storey developed the first version of the highly acclaimed SHriMP visualization system. For his dissertation, Kenny Wong distilled the experiences gained in our reverse engineering projects with IBM CAS into the Reverse Engineering Notebook. Our most famous system is Rigi, which evolved from a programming-in-the-large tool to an end-user programmable environment for software reverse engineering, exploration, visualization, and redocumentation.

Industrial Experience

My industrial experience includes consultancies and research projects with IBM Toronto (1991-present), SEI (1995-present), CA Canada Inc. (2005-present), SAP Business Objects (2005-present), Klocwork Solutions (1998-2004), and other companies. I was the founding president of Hypersystems Technologies Inc. (1997-2001). I gathered much of my motivation for software engineering research while developing power control, supervision, and distribution systems at ASEA Brown Boveri (ABB) in Switzerland (1979-82).

Personal

 My spouse, Dr. Ulrike Stege, is Chair of the Department of Computer Science at the University of Victoria. I enjoy hiking and traveling with Ulrike, skiing with my children Curtis and Brian, singing and guitar playing at CSER meetings, Dagstuhl seminars, and Victoria Swiss Society events, and playing soccer with my Gorden Head team.


 

FAVORITES
 

Whistler 2016
Hiking at Whistler 2016
read more

Brian-Hausi-Whistler-2016
Hiking at Whistler 2016
read more

Canada-Day-2016
Canada Day 2016
read more: Victoria

Mt. Fuji
Climbing Mt. Fuji 2015
read more: Shonan

IBM CAS Synergy Award 2006
IBM CAS NSERC Leo Derikx Synergy Award 2006
read more: NSERC, IBM CAS

Computing Pioneers 2005
Pioneers of Computing in Canada 2005
read more

WCRE Soccer Tournament 2006
WCRE 2006 Soccer Tournament, Benevento, Italy
read more

Skiing Mt. Washington 2006
Skiing at Mt. Washington, BC, 2006
read more

Skiing Lake Louise 2007
Skiing at Lake Louise, Alberta, 2007
read more