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.
I recently gave a seminar on GrapeVine and Functional Graph Programs. The recording includes a live demo. It's available here: https://www.irif.fr/~greta/event/2023-sep-22/
This keynote was given as part of UVic's 5 days of action this Fall. It's excellent and helped me reflect on equity, inclusivity and diversity issues, biases and opportunities. Well worth viewing. Unfortunately, its recording may be accessible to the university...
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...
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.