Jens H Weber
Department of Computer Science
Faculty of Engineering and CS, University of Victoria
I am a Professor in the Department of Computer Science at the University of Victoria, Canada (since 1999). I teach and conduct research in the area of Software Engineering with a focus on safety and security. I am also affiliated with the School of Health Information Science and the Faculty of Medicine at the University of British Columbia. I am practicing as a Professional Engineer (P.Eng,) with license in British Columbia. My doctoral degree is from the University of Paderborn (Germany).
News about publications, projects and activities I am involved in.
GCM 2022 Talk
Given flight chaos, pandemic and other issues, I was not able to participate in person in this year's Workshop on Graph Computation Models (GCM '22). I presented my paper on control structures for functional graph rewriting using an online presentation software. It...
ICGT Proceedings published
The proceedings for the Int. Conference on Graph Transformations (ICGT) have now been published in a Springer book (as part of the LNCS series). My paper on GrapeVine has a chapter in that volume. It is available for download here...
GCM 2022 paper accepted
My paper on a graph transformation control algebra for functional graph transformations has been accepted at the 13th International Workshop on Graph Computation Models (GCM 2022). https://gcm2022.github.io
Tool Support for Functional Graph Transformations
Information Security and Trust
With Focus on Assurance
Information SYSTEM HAZARD ANALYSIS
Focus on Safe Interoperability
Medical Device Software
With Focus on Certification
Courses (Current and Upcoming)
Security Engineering is about building systems to remain secure in the face of malice, error or mischance. The objective of this course is to introduce students to a broad range of topics related to this discipline.
Software Architecture and Design
An introduction to analysis and design of software architectures and their subsequent synthesis at the program level.
Topics in Software Engineering – Formal Methods
Formal methods are mathematically-based methods used in software engineering. The purpose of this course is to provide an introduction to formal methods and their role in assuring software properties.
I am currently serving on Council for Engineers and Geoscientists of British Columbia (EGBC) as well as on the Software Engineering Advisory Group at EGBC. I served as General Co-Chair for the IEEE Int. Conference on Health Informatics in 2021. I am the Chair of the Academic Integrity Committee in the Department of Computer Science. In prior roles, I served as Acting Associate Dean in 2021 for six months and as Director of the Software Engineering degree program from 2007-2014.