{"id":11,"date":"2018-04-18T20:51:00","date_gmt":"2018-04-18T20:51:00","guid":{"rendered":"https:\/\/onlineacademiccommunity.uvic.ca\/myportfolio\/?page_id=11"},"modified":"2024-11-19T01:48:12","modified_gmt":"2024-11-19T01:48:12","slug":"about","status":"publish","type":"page","link":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/","title":{"rendered":"About"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; make_equal=&#8221;on&#8221; specialty=&#8221;on&#8221; background_color_2=&#8221;#141617&#8243; padding_top_1=&#8221;12vw&#8221; padding_right_2=&#8221;5vw&#8221; padding_bottom_1=&#8221;80px&#8221; padding_left_1=&#8221;10vw&#8221; padding_1_tablet=&#8221;40px||0px|&#8221; padding_1_phone=&#8221;&#8221; padding_1_last_edited=&#8221;on|tablet&#8221; admin_label=&#8221;Header&#8221; _builder_version=&#8221;4.17.4&#8243; background_color=&#8221;#002754&#8243; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_direction=&#8221;162deg&#8221; background_color_gradient_stops=&#8221;#fd7b5b 0%|#a92200 100%&#8221; background_color_gradient_start=&#8221;#fd7b5b&#8221; background_color_gradient_end=&#8221;#a92200&#8243; inner_width=&#8221;100%&#8221; inner_max_width=&#8221;100%&#8221; custom_margin=&#8221;||156px|||&#8221; custom_margin_tablet=&#8221;||0px&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; custom_padding=&#8221;0px||0px||true&#8221; box_shadow_style=&#8221;preset7&#8243; box_shadow_horizontal=&#8221;0px&#8221; box_shadow_vertical=&#8221;-80px&#8221; box_shadow_color=&#8221;#ffffff&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text admin_label=&#8221;Halllo&#8221; _builder_version=&#8221;4.17.4&#8243; text_font=&#8221;Montserrat||||||||&#8221; text_letter_spacing=&#8221;3px&#8221; header_font=&#8221;Karla|700|||||||&#8221; header_font_size=&#8221;10vw&#8221; header_letter_spacing=&#8221;-3px&#8221; header_line_height=&#8221;0.9em&#8221; header_2_font=&#8221;Montserrat|||on|||||&#8221; header_2_font_size=&#8221;24px&#8221; header_2_letter_spacing=&#8221;2px&#8221; header_2_line_height=&#8221;1.8em&#8221; background_layout=&#8221;dark&#8221; header_2_font_size_tablet=&#8221;14px&#8221; header_2_font_size_phone=&#8221;&#8221; header_2_font_size_last_edited=&#8221;on|tablet&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h2>Professor and Associate Dean<\/h2>\n<h1>Jens H Weber<\/h1>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; text_text_color=&#8221;#FFFFFF&#8221; text_font_size=&#8221;18px&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<p>Software Engineering<br \/>Department of Computer Science<br \/>Faculty of Engineering and CS,\u00a0University of Victoria<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; specialty_columns=&#8221;2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_row_inner _builder_version=&#8221;4.16&#8243; transform_scale_tablet=&#8221;&#8221; transform_scale_phone=&#8221;&#8221; transform_scale_last_edited=&#8221;on|desktop&#8221; transform_translate=&#8221;-50%|0px&#8221; transform_translate_tablet=&#8221;0%|-50%&#8221; transform_translate_phone=&#8221;&#8221; transform_translate_last_edited=&#8221;on|desktop&#8221; transform_translate_linked=&#8221;off&#8221; transform_rotate_tablet=&#8221;&#8221; transform_rotate_phone=&#8221;&#8221; transform_rotate_last_edited=&#8221;on|desktop&#8221; transform_skew_tablet=&#8221;&#8221; transform_skew_phone=&#8221;&#8221; transform_skew_last_edited=&#8221;on|desktop&#8221; transform_origin_tablet=&#8221;&#8221; transform_origin_phone=&#8221;&#8221; transform_origin_last_edited=&#8221;on|desktop&#8221; transform_styles_last_edited=&#8221;on|desktop&#8221; width=&#8221;150%&#8221; width_tablet=&#8221;&#8221; width_phone=&#8221;&#8221; width_last_edited=&#8221;on|tablet&#8221; custom_margin=&#8221;||170px|||&#8221; custom_margin_tablet=&#8221;||0px&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; custom_padding=&#8221;0px||0px|||&#8221; transform_styles_tablet=&#8221;&#8221; transform_styles_phone=&#8221;&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column_inner saved_specialty_column_type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_image src=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/07\/UVic.png&#8221; align=&#8221;center&#8221; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;][\/et_pb_image][\/et_pb_column_inner][\/et_pb_row_inner][et_pb_row_inner _builder_version=&#8221;4.16&#8243; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;#ffdb8b 0%|#fdb15b 100%&#8221; background_color_gradient_start=&#8221;#ffdb8b&#8221; background_color_gradient_end=&#8221;#fdb15b&#8221; max_width_tablet=&#8221;500px&#8221; max_width_phone=&#8221;400px&#8221; max_width_last_edited=&#8221;on|phone&#8221; custom_margin=&#8221;80px|||&#8221; custom_padding=&#8221;0px|0px|0px|||&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column_inner saved_specialty_column_type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_image src=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/jens.jpeg&#8221; title_text=&#8221;jens&#8221; force_fullwidth=&#8221;on&#8221; align_tablet=&#8221;center&#8221; align_phone=&#8221;center&#8221; align_last_edited=&#8221;on|desktop&#8221; _builder_version=&#8221;4.17.4&#8243; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/actor-01.png&#8221; background_size=&#8221;initial&#8221; background_position=&#8221;bottom_right&#8221; custom_margin=&#8221;-80px||-150px|||&#8221; custom_margin_tablet=&#8221;||0px&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; custom_padding=&#8221;|40px|80px|||&#8221; custom_padding_tablet=&#8221;||&#8221; custom_padding_phone=&#8221;&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; filter_sepia=&#8221;35%&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_image][et_pb_social_media_follow _builder_version=&#8221;4.16.1&#8243; background_color=&#8221;#141617&#8243; transform_scale_tablet=&#8221;&#8221; transform_scale_phone=&#8221;&#8221; transform_scale_last_edited=&#8221;on|desktop&#8221; transform_translate=&#8221;-100%|-90%&#8221; transform_translate_tablet=&#8221;0%|0%&#8221; transform_translate_phone=&#8221;&#8221; transform_translate_last_edited=&#8221;on|desktop&#8221; transform_translate_linked=&#8221;off&#8221; transform_rotate_tablet=&#8221;&#8221; transform_rotate_phone=&#8221;&#8221; transform_rotate_last_edited=&#8221;on|desktop&#8221; transform_skew_tablet=&#8221;&#8221; transform_skew_phone=&#8221;&#8221; transform_skew_last_edited=&#8221;on|desktop&#8221; transform_origin_tablet=&#8221;&#8221; transform_origin_phone=&#8221;&#8221; transform_origin_last_edited=&#8221;on|desktop&#8221; transform_styles_last_edited=&#8221;on|desktop&#8221; width=&#8221;56px&#8221; width_tablet=&#8221;100%&#8221; width_phone=&#8221;&#8221; width_last_edited=&#8221;on|desktop&#8221; max_width_last_edited=&#8221;off|tablet&#8221; custom_margin=&#8221;||-200px|&#8221; custom_margin_tablet=&#8221;|0%|0px|&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; transform_styles_tablet=&#8221;&#8221; transform_styles_phone=&#8221;&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_social_media_follow_network social_network=&#8221;linkedin&#8221; url=&#8221;https:\/\/www.linkedin.com\/in\/profjens\/&#8221; _builder_version=&#8221;4.16.1&#8243; background_color=&#8221;#007bb6&#8243; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]linkedin[\/et_pb_social_media_follow_network][et_pb_social_media_follow_network social_network=&#8221;twitter&#8221; url=&#8221;https:\/\/twitter.com\/jens_weber&#8221; _builder_version=&#8221;4.22.2&#8243; background_color=&#8221;#000000&#8243; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]twitter[\/et_pb_social_media_follow_network][et_pb_social_media_follow_network social_network=&#8221;researchgate&#8221; url=&#8221;https:\/\/www.researchgate.net\/profile\/Jens_Weber6&#8243; _builder_version=&#8221;4.16.1&#8243; background_color=&#8221;#40ba9b&#8221; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]researchgate[\/et_pb_social_media_follow_network][et_pb_social_media_follow_network social_network=&#8221;github&#8221; url=&#8221;https:\/\/github.com\/jenshweber&#8221; _builder_version=&#8221;4.16.1&#8243; background_color=&#8221;#333333&#8243; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]github[\/et_pb_social_media_follow_network][\/et_pb_social_media_follow][\/et_pb_column_inner][\/et_pb_row_inner][\/et_pb_column][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;About&#8221; _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][et_pb_row column_structure=&#8221;1_2,1_2&#8243; custom_padding_last_edited=&#8221;on|desktop&#8221; padding_top_bottom_link_2=&#8221;true&#8221; padding_left_right_link_2=&#8221;true&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;#f9f7f0&#8243; custom_padding=&#8221;|40px||&#8221; custom_padding_tablet=&#8221;&#8221; custom_padding_phone=&#8221;|0px||&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_image src=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/leaf-1024&#215;682-1.jpg&#8221; title_text=&#8221;leaf-1024&#215;682&#8243; align_tablet=&#8221;center&#8221; align_phone=&#8221;center&#8221; align_last_edited=&#8221;on|desktop&#8221; _builder_version=&#8221;4.16.1&#8243; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/actor-02.png&#8221; background_size=&#8221;initial&#8221; background_position=&#8221;bottom_left&#8221; transform_translate_linked=&#8221;off&#8221; custom_margin=&#8221;-80px||-100px|-5vw||&#8221; custom_margin_tablet=&#8221;||0px&#8221; custom_margin_last_edited=&#8221;off|desktop&#8221; custom_padding=&#8221;||100px|40px||&#8221; custom_padding_tablet=&#8221;||&#8221; custom_padding_phone=&#8221;&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; box_shadow_style=&#8221;preset1&#8243; box_shadow_vertical=&#8221;64px&#8221; box_shadow_blur=&#8221;64px&#8221; box_shadow_spread=&#8221;-12px&#8221; box_shadow_color=&#8221;rgba(20,22,23,0.59)&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_image][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;80px|60px|80px|60px&#8221; custom_padding_tablet=&#8221;80px|60px|80px|60px&#8221; custom_padding_phone=&#8221;|30px|40px|30px||true&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;Montserrat||||||||&#8221; text_letter_spacing=&#8221;3px&#8221; header_font=&#8221;||||||||&#8221; header_2_font=&#8221;Karla|700||on|||||&#8221; header_2_font_size=&#8221;46px&#8221; header_3_font=&#8221;Montserrat|||on|||||&#8221; header_3_text_color=&#8221;rgba(0,0,0,0.4)&#8221; header_3_font_size=&#8221;12px&#8221; header_3_letter_spacing=&#8221;1px&#8221; header_3_line_height=&#8221;1.8em&#8221; custom_margin=&#8221;||0px&#8221; header_2_font_size_tablet=&#8221;&#8221; header_2_font_size_phone=&#8221;30px&#8221; header_2_font_size_last_edited=&#8221;on|phone&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h3>About<\/h3>\n<h2>About ME<\/h2>\n<p>[\/et_pb_text][et_pb_divider color=&#8221;#f56845&#8243; divider_weight=&#8221;12px&#8221; _builder_version=&#8221;4.16&#8243; z_index=&#8221;-1&#8243; width=&#8221;50%&#8221; module_alignment=&#8221;right&#8221; custom_margin=&#8221;-22px||&#8221; custom_margin_tablet=&#8221;&#8221; custom_margin_phone=&#8221;-18px||&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_divider][et_pb_text _builder_version=&#8221;4.27.2&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; hover_enabled=&#8221;0&#8243; global_colors_info=&#8221;{}&#8221; sticky_enabled=&#8221;0&#8243;]<\/p>\n<p>I am a Professor and the Associate Dean Professional Programs at the Faculty of Engineering and 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).<\/p>\n<p>[\/et_pb_text][et_pb_button button_text=&#8221;More About Me&#8221; _builder_version=&#8221;4.16&#8243; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;0px&#8221; button_border_color=&#8221;rgba(0,0,0,0)&#8221; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_margin=&#8221;|||&#8221; custom_margin_last_edited=&#8221;off|phone&#8221; custom_padding=&#8221;16px|20px|16px|0px|true|false&#8221; custom_padding_last_edited=&#8221;off|desktop&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover_enabled=&#8221;on&#8221; custom_padding__hover=&#8221;|24px||4px&#8221;]<br \/>\n[\/et_pb_button][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; custom_padding_last_edited=&#8221;on|tablet&#8221; admin_label=&#8221;Blog&#8221; _builder_version=&#8221;4.16&#8243; z_index=&#8221;99&#8243; custom_padding=&#8221;0px|||||&#8221; custom_padding_tablet=&#8221;50px|||&#8221; custom_padding_phone=&#8221;&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row custom_padding_last_edited=&#8221;on|tablet&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;#24272a&#8221; max_width=&#8221;680px&#8221; module_alignment=&#8221;left&#8221; custom_margin=&#8221;||-240px&#8221; custom_margin_tablet=&#8221;||0px&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; custom_padding=&#8221;240px|80px|240px|10vw|false|&#8221; custom_padding_tablet=&#8221;50px|10vw|50px|10vw||true&#8221; custom_padding_phone=&#8221;|30px||30px||true&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;Montserrat||||||||&#8221; text_letter_spacing=&#8221;3px&#8221; header_font=&#8221;||||||||&#8221; header_2_font=&#8221;Karla|700||on|||||&#8221; header_2_font_size=&#8221;46px&#8221; header_3_font=&#8221;Montserrat|||on|||||&#8221; header_3_text_color=&#8221;rgba(255,255,255,0.4)&#8221; header_3_font_size=&#8221;12px&#8221; header_3_letter_spacing=&#8221;1px&#8221; header_3_line_height=&#8221;1.8em&#8221; background_layout=&#8221;dark&#8221; custom_margin=&#8221;||0px&#8221; header_2_font_size_tablet=&#8221;&#8221; header_2_font_size_phone=&#8221;30px&#8221; header_2_font_size_last_edited=&#8221;on|phone&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h3>Blog<\/h3>\n<h2>NEws<\/h2>\n<p>[\/et_pb_text][et_pb_divider color=&#8221;#f56845&#8243; divider_weight=&#8221;12px&#8221; _builder_version=&#8221;4.16&#8243; z_index=&#8221;-1&#8243; width=&#8221;250px&#8221; custom_margin=&#8221;-22px||&#8221; custom_margin_tablet=&#8221;&#8221; custom_margin_phone=&#8221;-18px||&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_divider][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; background_layout=&#8221;dark&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<p>News about publications, projects and activities I am involved in.<\/p>\n<p>[\/et_pb_text][et_pb_button button_text=&#8221;Subscribe&#8221; _builder_version=&#8221;4.16&#8243; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;0px&#8221; button_border_color=&#8221;rgba(0,0,0,0)&#8221; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_margin=&#8221;|||&#8221; custom_margin_last_edited=&#8221;off|phone&#8221; custom_padding=&#8221;16px|20px|16px|0px|true|false&#8221; custom_padding_last_edited=&#8221;off|desktop&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover_enabled=&#8221;on&#8221; custom_padding__hover=&#8221;|24px||4px&#8221;]<br \/>\n[\/et_pb_button][\/et_pb_column][\/et_pb_row][et_pb_row use_custom_gutter=&#8221;on&#8221; gutter_width=&#8221;2&#8243; _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_button button_url=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/publications\/&#8221; button_text=&#8221;Read More&#8221; button_alignment=&#8221;right&#8221; _builder_version=&#8221;4.17.4&#8243; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;1px&#8221; button_border_color=&#8221;#f56845&#8243; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_margin_last_edited=&#8221;off|phone&#8221; custom_padding=&#8221;16px|48px|16px|32px|true|false&#8221; custom_padding_last_edited=&#8221;off|desktop&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover_enabled=&#8221;on&#8221; custom_padding__hover=&#8221;|52px||36px&#8221;]<br \/>\n[\/et_pb_button][et_pb_blog fullwidth=&#8221;off&#8221; posts_number=&#8221;3&#8243; show_pagination=&#8221;off&#8221; _builder_version=&#8221;4.16&#8243; header_font=&#8221;Karla|700||on|||||&#8221; header_font_size=&#8221;16px&#8221; header_line_height=&#8221;1.4em&#8221; body_line_height=&#8221;1.8em&#8221; meta_text_color=&#8221;#f56845&#8243; pagination_font=&#8221;Karla|700||on|||||&#8221; pagination_text_color=&#8221;#f56845&#8243; pagination_letter_spacing=&#8221;1px&#8221; custom_margin=&#8221;||-20vw&#8221; custom_margin_tablet=&#8221;||0vw&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; z_index_tablet=&#8221;500&#8243; border_width_all=&#8221;18px&#8221; border_color_all=&#8221;#ffffff&#8221; box_shadow_style=&#8221;preset1&#8243; box_shadow_vertical=&#8221;34px&#8221; box_shadow_blur=&#8221;64px&#8221; box_shadow_spread=&#8221;-12px&#8221; box_shadow_color=&#8221;rgba(20,22,23,0.19)&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_blog][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_divider show_divider=&#8221;off&#8221; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][\/et_pb_divider][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Testimonial&#8221; _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][et_pb_row _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;Montserrat||||||||&#8221; text_letter_spacing=&#8221;3px&#8221; header_font=&#8221;||||||||&#8221; header_2_font=&#8221;Karla|700||on|||||&#8221; header_2_font_size=&#8221;46px&#8221; header_3_font=&#8221;Montserrat|||on|||||&#8221; header_3_text_color=&#8221;rgba(0,0,0,0.4)&#8221; header_3_font_size=&#8221;12px&#8221; header_3_letter_spacing=&#8221;1px&#8221; header_3_line_height=&#8221;1.8em&#8221; text_orientation=&#8221;right&#8221; custom_margin=&#8221;||0px&#8221; header_2_font_size_tablet=&#8221;&#8221; header_2_font_size_phone=&#8221;30px&#8221; header_2_font_size_last_edited=&#8221;on|phone&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h3>Research<\/h3>\n<h2>Research PROJECTS<\/h2>\n<p>[\/et_pb_text][et_pb_divider color=&#8221;#f56845&#8243; divider_weight=&#8221;12px&#8221; _builder_version=&#8221;4.16&#8243; z_index=&#8221;-1&#8243; width=&#8221;250px&#8221; module_alignment=&#8221;right&#8221; custom_margin=&#8221;-22px||&#8221; custom_margin_tablet=&#8221;&#8221; custom_margin_phone=&#8221;-18px||&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_2,1_2&#8243; _builder_version=&#8221;4.16&#8243; width_tablet=&#8221;80%&#8221; width_phone=&#8221;90%&#8221; width_last_edited=&#8221;on|phone&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;80px|||&#8221; custom_padding_tablet=&#8221;0px||&#8221; custom_padding_phone=&#8221;0px||&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_cta title=&#8221;Grape Vine&#8221; button_url=&#8221;https:\/\/github.com\/jenshweber\/grape&#8221; url_new_window=&#8221;on&#8221; button_text=&#8221;more info&#8221; _builder_version=&#8221;4.16.1&#8243; header_font=&#8221;Karla|700||on|||||&#8221; header_font_size=&#8221;24px&#8221; header_letter_spacing=&#8221;1px&#8221; header_line_height=&#8221;1.4em&#8221; body_font=&#8221;||||||||&#8221; body_text_color=&#8221;rgba(255,255,255,0.46)&#8221; body_font_size=&#8221;16px&#8221; body_line_height=&#8221;2em&#8221; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;rgba(20,21,22,0.24) 0%|#0d1a34 90%&#8221; background_color_gradient_overlays_image=&#8221;on&#8221; background_color_gradient_start=&#8221;rgba(20,21,22,0.24)&#8221; background_color_gradient_end=&#8221;#0d1a34&#8243; background_color_gradient_end_position=&#8221;90%&#8221; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/gv-logo.png&#8221; background_position=&#8221;top_center&#8221; background_vertical_offset=&#8221;0%&#8221; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;0px&#8221; button_border_color=&#8221;rgba(0,0,0,0)&#8221; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_padding=&#8221;80%||60px|||&#8221; link_option_url_new_window=&#8221;on&#8221; border_width_all=&#8221;24px&#8221; border_color_all=&#8221;#ffffff&#8221; box_shadow_style=&#8221;preset4&#8243; box_shadow_horizontal=&#8221;0px&#8221; box_shadow_vertical=&#8221;0px&#8221; box_shadow_spread=&#8221;2px&#8221; box_shadow_color=&#8221;#f56845&#8243; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;||80px&#8221; custom_padding__hover_enabled=&#8221;on&#8221; border_width_all__hover=&#8221;14px&#8221; border_width_all__hover_enabled=&#8221;on&#8221;]<\/p>\n<p>Tool Support for Functional Graph Transformations<\/p>\n<p>[\/et_pb_cta][et_pb_cta title=&#8221;Information Security and Trust&#8221; button_url=&#8221;#&#8221; button_text=&#8221;More Info&#8221; _builder_version=&#8221;4.16&#8243; header_font=&#8221;Karla|700||on|||||&#8221; header_font_size=&#8221;24px&#8221; header_letter_spacing=&#8221;1px&#8221; header_line_height=&#8221;1.4em&#8221; body_font=&#8221;||||||||&#8221; body_text_color=&#8221;rgba(255,255,255,0.46)&#8221; body_font_size=&#8221;16px&#8221; body_line_height=&#8221;2em&#8221; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;rgba(20,21,22,0.24) 0%|#0d1a34 90%&#8221; background_color_gradient_overlays_image=&#8221;on&#8221; background_color_gradient_start=&#8221;rgba(20,21,22,0.24)&#8221; background_color_gradient_end=&#8221;#0d1a34&#8243; background_color_gradient_end_position=&#8221;90%&#8221; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/actor-11.jpg&#8221; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;0px&#8221; button_border_color=&#8221;rgba(0,0,0,0)&#8221; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_padding=&#8221;80%||60px|||&#8221; border_width_all=&#8221;24px&#8221; border_color_all=&#8221;#ffffff&#8221; box_shadow_style=&#8221;preset4&#8243; box_shadow_horizontal=&#8221;0px&#8221; box_shadow_vertical=&#8221;0px&#8221; box_shadow_spread=&#8221;2px&#8221; box_shadow_color=&#8221;#f56845&#8243; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;||80px&#8221; custom_padding__hover_enabled=&#8221;on&#8221; border_width_all__hover=&#8221;14px&#8221; border_width_all__hover_enabled=&#8221;on&#8221;]<\/p>\n<p>With Focus on Assurance<\/p>\n<p>[\/et_pb_cta][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_cta title=&#8221;Information SYSTEM HAZARD ANALYSIS&#8221; button_url=&#8221;#&#8221; button_text=&#8221;More Info&#8221; _builder_version=&#8221;4.16.1&#8243; header_font=&#8221;Karla|700||on|||||&#8221; header_font_size=&#8221;24px&#8221; header_letter_spacing=&#8221;1px&#8221; header_line_height=&#8221;1.4em&#8221; body_font=&#8221;||||||||&#8221; body_text_color=&#8221;rgba(255,255,255,0.46)&#8221; body_font_size=&#8221;16px&#8221; body_line_height=&#8221;2em&#8221; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;rgba(20,21,22,0.24) 0%|#0d1a34 90%&#8221; background_color_gradient_overlays_image=&#8221;on&#8221; background_color_gradient_start=&#8221;rgba(20,21,22,0.24)&#8221; background_color_gradient_end=&#8221;#0d1a34&#8243; background_color_gradient_end_position=&#8221;90%&#8221; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/tHUxFA8.png&#8221; background_size=&#8221;stretch&#8221; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;0px&#8221; button_border_color=&#8221;rgba(0,0,0,0)&#8221; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_padding=&#8221;80%||60px|||&#8221; border_width_all=&#8221;24px&#8221; border_color_all=&#8221;#ffffff&#8221; box_shadow_style=&#8221;preset4&#8243; box_shadow_horizontal=&#8221;0px&#8221; box_shadow_vertical=&#8221;0px&#8221; box_shadow_spread=&#8221;2px&#8221; box_shadow_color=&#8221;#f56845&#8243; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221; border_width_all__hover_enabled=&#8221;on&#8221; border_width_all__hover=&#8221;14px&#8221; custom_padding__hover_enabled=&#8221;on&#8221; custom_padding__hover=&#8221;||80px&#8221;]<\/p>\n<p>Focus on Safe Interoperability<\/p>\n<p>[\/et_pb_cta][et_pb_cta title=&#8221;Medical Device Software&#8221; button_url=&#8221;#&#8221; button_text=&#8221;More Info&#8221; _builder_version=&#8221;4.16&#8243; header_font=&#8221;Karla|700||on|||||&#8221; header_font_size=&#8221;24px&#8221; header_letter_spacing=&#8221;1px&#8221; header_line_height=&#8221;1.4em&#8221; body_font=&#8221;||||||||&#8221; body_text_color=&#8221;rgba(255,255,255,0.46)&#8221; body_font_size=&#8221;16px&#8221; body_line_height=&#8221;2em&#8221; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;rgba(20,21,22,0.24) 0%|#0d1a34 90%&#8221; background_color_gradient_overlays_image=&#8221;on&#8221; background_color_gradient_start=&#8221;rgba(20,21,22,0.24)&#8221; background_color_gradient_end=&#8221;#0d1a34&#8243; background_color_gradient_end_position=&#8221;90%&#8221; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/actor-10.jpg&#8221; custom_button=&#8221;on&#8221; button_text_size=&#8221;13px&#8221; button_text_color=&#8221;#f56845&#8243; button_bg_color=&#8221;rgba(20,22,23,0)&#8221; button_border_width=&#8221;0px&#8221; button_border_color=&#8221;rgba(0,0,0,0)&#8221; button_border_radius=&#8221;0px&#8221; button_letter_spacing=&#8221;2px&#8221; button_font=&#8221;|700||on|||||&#8221; button_icon=&#8221;&#x4c;||divi||400&#8243; button_on_hover=&#8221;off&#8221; custom_padding=&#8221;80%||60px|||&#8221; custom_padding_tablet=&#8221;40%||&#8221; custom_padding_phone=&#8221;&#8221; custom_padding_last_edited=&#8221;on|phone&#8221; border_width_all=&#8221;24px&#8221; border_color_all=&#8221;#ffffff&#8221; box_shadow_style=&#8221;preset4&#8243; box_shadow_horizontal=&#8221;0px&#8221; box_shadow_vertical=&#8221;0px&#8221; box_shadow_spread=&#8221;2px&#8221; box_shadow_color=&#8221;#f56845&#8243; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;||80px&#8221; custom_padding__hover_enabled=&#8221;on&#8221; border_width_all__hover=&#8221;14px&#8221; border_width_all__hover_enabled=&#8221;on&#8221;]<\/p>\n<p>With Focus on Certification<\/p>\n<p>[\/et_pb_cta][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.16&#8243; custom_margin=&#8221;-229px|auto||auto||&#8221; border_color_all=&#8221;rgba(51,51,51,0.12)&#8221; border_width_bottom=&#8221;1px&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_divider color=&#8221;#f56845&#8243; divider_weight=&#8221;4px&#8221; _builder_version=&#8221;4.16&#8243; z_index=&#8221;-1&#8243; width=&#8221;100px&#8221; custom_margin=&#8221;||&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_divider][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; specialty=&#8221;on&#8221; admin_label=&#8221;Resume&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;#f9f7f0&#8243; width=&#8221;80%&#8221; max_width=&#8221;1080px&#8221; module_alignment=&#8221;center&#8221; inner_width=&#8221;100%&#8221; custom_margin=&#8221;40px||40px||true|&#8221; custom_padding=&#8221;|40px||40px||true&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16.1&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_font=&#8221;||||||||&#8221; header_3_font=&#8221;Karla|700||on|||||&#8221; header_3_font_size=&#8221;24px&#8221; header_3_letter_spacing=&#8221;1px&#8221; header_3_line_height=&#8221;1.4em&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h3>Courses (Current and Upcoming)<\/h3>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;2_3&#8243; specialty_columns=&#8221;2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_row_inner column_structure=&#8221;1_2,1_2&#8243; _builder_version=&#8221;4.16&#8243; border_color_all=&#8221;rgba(51,51,51,0.12)&#8221; border_width_bottom=&#8221;1px&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column_inner type=&#8221;1_2&#8243; saved_specialty_column_type=&#8221;2_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16.1&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_font=&#8221;||||||||&#8221; header_4_font=&#8221;Montserrat|||on|||||&#8221; header_4_font_size=&#8221;12px&#8221; header_4_letter_spacing=&#8221;1px&#8221; header_4_line_height=&#8221;1.8em&#8221; header_5_font=&#8221;Montserrat|||on|||||&#8221; header_5_text_color=&#8221;#f56845&#8243; header_5_font_size=&#8221;12px&#8221; header_5_letter_spacing=&#8221;1px&#8221; header_5_line_height=&#8221;1.8em&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h4>Security Engineering<\/h4>\n<h5>Fall 2024<\/h5>\n<p>[\/et_pb_text][\/et_pb_column_inner][et_pb_column_inner type=&#8221;1_2&#8243; saved_specialty_column_type=&#8221;2_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_4_font=&#8221;Montserrat|||on|||||&#8221; header_4_font_size=&#8221;12px&#8221; header_4_letter_spacing=&#8221;1px&#8221; header_4_line_height=&#8221;1.8em&#8221; custom_padding=&#8221;0px|||||&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<p><span>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.<\/span><\/p>\n<p>[\/et_pb_text][\/et_pb_column_inner][\/et_pb_row_inner][et_pb_row_inner column_structure=&#8221;1_2,1_2&#8243; _builder_version=&#8221;4.16&#8243; border_color_all=&#8221;rgba(51,51,51,0.12)&#8221; border_width_bottom=&#8221;1px&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column_inner type=&#8221;1_2&#8243; saved_specialty_column_type=&#8221;2_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16.1&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_font=&#8221;||||||||&#8221; header_4_font=&#8221;Montserrat|||on|||||&#8221; header_4_font_size=&#8221;12px&#8221; header_4_letter_spacing=&#8221;1px&#8221; header_4_line_height=&#8221;1.8em&#8221; header_5_font=&#8221;Montserrat|||on|||||&#8221; header_5_text_color=&#8221;#f56845&#8243; header_5_font_size=&#8221;12px&#8221; header_5_letter_spacing=&#8221;1px&#8221; header_5_line_height=&#8221;1.8em&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h4>Software Architecture and Design<\/h4>\n<h5>Fall 2022<\/h5>\n<p>[\/et_pb_text][\/et_pb_column_inner][et_pb_column_inner type=&#8221;1_2&#8243; saved_specialty_column_type=&#8221;2_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_4_font=&#8221;Montserrat|||on|||||&#8221; header_4_font_size=&#8221;12px&#8221; header_4_letter_spacing=&#8221;1px&#8221; header_4_line_height=&#8221;1.8em&#8221; custom_padding=&#8221;0px|||||&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<p>An introduction to analysis and design of software architectures and their subsequent synthesis at the program level.\u00a0<\/p>\n<p>[\/et_pb_text][\/et_pb_column_inner][\/et_pb_row_inner][et_pb_row_inner column_structure=&#8221;1_2,1_2&#8243; _builder_version=&#8221;4.16&#8243; border_color_all=&#8221;rgba(51,51,51,0.12)&#8221; border_width_bottom=&#8221;1px&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column_inner type=&#8221;1_2&#8243; saved_specialty_column_type=&#8221;2_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16.1&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_font=&#8221;||||||||&#8221; header_4_font=&#8221;Montserrat|||on|||||&#8221; header_4_font_size=&#8221;12px&#8221; header_4_letter_spacing=&#8221;1px&#8221; header_4_line_height=&#8221;1.8em&#8221; header_5_font=&#8221;Montserrat|||on|||||&#8221; header_5_text_color=&#8221;#f56845&#8243; header_5_font_size=&#8221;12px&#8221; header_5_letter_spacing=&#8221;1px&#8221; header_5_line_height=&#8221;1.8em&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h4>Topics in Software Engineering &#8211; Formal Methods<\/h4>\n<h5>Spring 2023<\/h5>\n<p>[\/et_pb_text][\/et_pb_column_inner][et_pb_column_inner type=&#8221;1_2&#8243; saved_specialty_column_type=&#8221;2_3&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;|||&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;||||||||&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; header_4_font=&#8221;Montserrat|||on|||||&#8221; header_4_font_size=&#8221;12px&#8221; header_4_letter_spacing=&#8221;1px&#8221; header_4_line_height=&#8221;1.8em&#8221; custom_padding=&#8221;0px|||||&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<p><span>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.\u00a0<\/span><\/p>\n<p>[\/et_pb_text][\/et_pb_column_inner][\/et_pb_row_inner][\/et_pb_column][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Portfolio&#8221; _builder_version=&#8221;4.16&#8243; global_colors_info=&#8221;{}&#8221;][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Footer&#8221; _builder_version=&#8221;4.16&#8243; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;#ffdb8b 0%|#fdb15b 100%&#8221; background_color_gradient_start=&#8221;#ffdb8b&#8221; background_color_gradient_end=&#8221;#fdb15b&#8221; custom_margin=&#8221;||&#8221; custom_padding=&#8221;0px||0px|||&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row column_structure=&#8221;1_2,1_2&#8243; make_equal=&#8221;on&#8221; _builder_version=&#8221;4.16&#8243; width=&#8221;100%&#8221; max_width=&#8221;100%&#8221; custom_padding=&#8221;0px||0px|||&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; background_color=&#8221;#ffffff&#8221; custom_padding=&#8221;20vw||100px|10vw&#8221; custom_padding_tablet=&#8221;0vw||0px|0vw&#8221; custom_padding_phone=&#8221;0vw||0px|0vw&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_image src=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/UNADJUSTEDNONRAW_thumb_5-1024&#215;768-1.jpg&#8221; title_text=&#8221;UNADJUSTEDNONRAW_thumb_5-1024&#215;768&#8243; align=&#8221;right&#8221; _builder_version=&#8221;4.16.1&#8243; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/actor-01.png&#8221; background_size=&#8221;initial&#8221; background_position=&#8221;bottom_right&#8221; transform_translate=&#8221;90px|0px&#8221; transform_translate_linked=&#8221;off&#8221; max_width_tablet=&#8221;500px&#8221; max_width_phone=&#8221;&#8221; max_width_last_edited=&#8221;on|desktop&#8221; custom_margin=&#8221;||-80px&#8221; custom_margin_tablet=&#8221;||0px&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; custom_padding=&#8221;|40px|80px|||&#8221; custom_padding_tablet=&#8221;||&#8221; custom_padding_phone=&#8221;&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; box_shadow_style=&#8221;preset1&#8243; box_shadow_vertical=&#8221;64px&#8221; box_shadow_blur=&#8221;64px&#8221; box_shadow_spread=&#8221;-12px&#8221; box_shadow_color=&#8221;rgba(20,22,23,0.59)&#8221; always_center_on_mobile=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_image][et_pb_social_media_follow _builder_version=&#8221;4.16&#8243; background_color=&#8221;#141617&#8243; transform_scale_tablet=&#8221;&#8221; transform_scale_phone=&#8221;&#8221; transform_scale_last_edited=&#8221;on|desktop&#8221; transform_translate=&#8221;62px|-100%&#8221; transform_translate_tablet=&#8221;0%|0%&#8221; transform_translate_phone=&#8221;&#8221; transform_translate_last_edited=&#8221;on|tablet&#8221; transform_translate_linked=&#8221;off&#8221; transform_rotate_tablet=&#8221;&#8221; transform_rotate_phone=&#8221;&#8221; transform_rotate_last_edited=&#8221;on|desktop&#8221; transform_skew_tablet=&#8221;&#8221; transform_skew_phone=&#8221;&#8221; transform_skew_last_edited=&#8221;on|desktop&#8221; transform_origin_tablet=&#8221;&#8221; transform_origin_phone=&#8221;&#8221; transform_origin_last_edited=&#8221;on|desktop&#8221; transform_styles_last_edited=&#8221;on|tablet&#8221; width=&#8221;56px&#8221; width_tablet=&#8221;400px&#8221; width_phone=&#8221;&#8221; width_last_edited=&#8221;on|desktop&#8221; max_width_last_edited=&#8221;off|tablet&#8221; custom_margin=&#8221;||-200px|&#8221; custom_margin_tablet=&#8221;||0px|&#8221; custom_margin_phone=&#8221;&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; custom_padding=&#8221;|||||&#8221; transform_styles_tablet=&#8221;&#8221; transform_styles_phone=&#8221;&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_social_media_follow_network social_network=&#8221;instagram&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;rgba(0,0,0,0)&#8221; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]instagram[\/et_pb_social_media_follow_network][et_pb_social_media_follow_network social_network=&#8221;youtube&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;rgba(0,0,0,0)&#8221; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]youtube[\/et_pb_social_media_follow_network][et_pb_social_media_follow_network social_network=&#8221;vimeo&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;rgba(0,0,0,0)&#8221; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]vimeo[\/et_pb_social_media_follow_network][et_pb_social_media_follow_network social_network=&#8221;linkedin&#8221; _builder_version=&#8221;4.16&#8243; background_color=&#8221;rgba(0,0,0,0)&#8221; custom_margin=&#8221;0px|0px|0px|0px|true|true&#8221; custom_padding=&#8221;12px|12px|12px|12px|true|true&#8221; global_colors_info=&#8221;{}&#8221; follow_button=&#8221;off&#8221; url_new_window=&#8221;on&#8221;]linkedin[\/et_pb_social_media_follow_network][\/et_pb_social_media_follow][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.16&#8243; custom_padding=&#8221;25vw|10vw||60px&#8221; custom_padding_tablet=&#8221;60px|10vw|60px|10vw|true|true&#8221; custom_padding_phone=&#8221;60px|10vw|60px|10vw|true|true&#8221; custom_padding_last_edited=&#8221;on|desktop&#8221; global_colors_info=&#8221;{}&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text _builder_version=&#8221;4.16.1&#8243; text_font=&#8221;Montserrat||||||||&#8221; text_letter_spacing=&#8221;3px&#8221; header_font=&#8221;||||||||&#8221; header_2_font=&#8221;Karla|700||on|||||&#8221; header_2_font_size=&#8221;46px&#8221; header_3_font=&#8221;Montserrat|||on|||||&#8221; header_3_text_color=&#8221;rgba(0,0,0,0.4)&#8221; header_3_font_size=&#8221;12px&#8221; header_3_letter_spacing=&#8221;1px&#8221; header_3_line_height=&#8221;1.8em&#8221; custom_margin=&#8221;||0px&#8221; header_2_font_size_tablet=&#8221;&#8221; header_2_font_size_phone=&#8221;30px&#8221; header_2_font_size_last_edited=&#8221;on|phone&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<h3>Service<\/h3>\n<h2>Recent Service<\/h2>\n<p>[\/et_pb_text][et_pb_divider color=&#8221;#ffffff&#8221; divider_weight=&#8221;12px&#8221; _builder_version=&#8221;4.16&#8243; z_index=&#8221;-1&#8243; width=&#8221;250px&#8221; custom_margin=&#8221;-22px||&#8221; custom_margin_tablet=&#8221;&#8221; custom_margin_phone=&#8221;-18px||&#8221; custom_margin_last_edited=&#8221;on|desktop&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<br \/>\n[\/et_pb_divider][et_pb_text _builder_version=&#8221;4.16&#8243; text_font=&#8221;||||||||&#8221; text_text_color=&#8221;rgba(0,0,0,0.6)&#8221; text_font_size=&#8221;16px&#8221; text_line_height=&#8221;2em&#8221; locked=&#8221;off&#8221; global_colors_info=&#8221;{}&#8221;]<\/p>\n<p>I am currently serving a second term on the Board of Engineers and Geoscientists of British Columbia (EGBC) as well as on the Software Engineering Advisory Group at EGBC. Before this, I served for five years on the Board of the OSCAR EMR BC User Society. I served as General Co-Chair for the IEEE Int. Conference on Health Informatics in 2021. I was the Chair of the Academic Integrity Committee in the Department of Computer Science for seven years. At the University, I serve as the Associate Dean for Professional Programs and development. 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.<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.16.1&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; fullwidth=&#8221;on&#8221; _builder_version=&#8221;4.16.1&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_fullwidth_header title=&#8221;Address&#8221; _builder_version=&#8221;4.16.1&#8243; _module_preset=&#8221;default&#8221; background_color=&#8221;#000000&#8243; use_background_color_gradient=&#8221;on&#8221; background_color_gradient_stops=&#8221;#ffffff 0%|#000000 34%&#8221; background_image=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/06\/UVic_East_high_500x500.jpg&#8221; background_blend=&#8221;overlay&#8221; global_colors_info=&#8221;{}&#8221; button_one_text__hover_enabled=&#8221;off|desktop&#8221;]<\/p>\n<table style=\"width: 100%;border-collapse: collapse;border-style: hidden\" border=\"1\">\n<tbody>\n<tr>\n<td style=\"width: 50%\">\n<p>Department of Computer Science<br \/>University of Victoria<br \/>ECS Building, Room 504 (secretary), Room 616 (office)<br \/>PO Box 1700, STN CSC<br \/>Victoria, BC<\/p>\n<p>&nbsp;<\/p>\n<p>Canada V8W 2Y2<\/p>\n<\/td>\n<td style=\"width: 50%\">\n<p>jens@acm.org<\/p>\n<p>Office: +1 250 721 8797<br \/>Cell: +1 250 508 3130<br \/>Fax: +1 250 472 5708<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_fullwidth_header][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_row _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; global_colors_info=&#8221;{}&#8221;][et_pb_image src=&#8221;https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/5929\/2022\/07\/UVic.png&#8221; _builder_version=&#8221;4.17.4&#8243; _module_preset=&#8221;default&#8221; filter_opacity=&#8221;35%&#8221; global_colors_info=&#8221;{}&#8221;][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Professor and Associate Dean Jens H WeberSoftware EngineeringDepartment of Computer ScienceFaculty of Engineering and CS,\u00a0University of Victoria About About ME I am a Professor and the Associate Dean Professional Programs at the Faculty of Engineering and Computer Science at the University of Victoria, Canada (since 1999). I teach and conduct research in the area of [&hellip;]<\/p>\n","protected":false},"author":6473,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<img class=\"size-full wp-image-4 aligncenter\" src=\"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-content\/uploads\/sites\/3417\/2018\/04\/replace-photo.png\" alt=\"\" width=\"150\" height=\"150\" \/>\r\n\r\nSed ut perspiciatis unde omnis iste natus error sit voluptatem accusantium doloremque laudantium, totam rem aperiam, eaque ipsa quae ab illo inventore veritatis et quasi architecto beatae vitae dicta sunt explicabo. Nemo enim ipsam voluptatem quia voluptas sit aspernatur aut odit aut fugit, sed quia consequuntur magni dolores eos qui ratione voluptatem sequi nesciunt. Neque porro quisquam est, qui dolorem ipsum quia dolor sit amet, consectetur, adipisci velit, sed quia non numquam eius modi tempora incidunt ut labore et dolore magnam aliquam quaerat voluptatem. Ut enim ad minima veniam, quis nostrum exercitationem ullam corporis suscipit laboriosam, nisi ut aliquid ex ea commodi consequatur? Quis autem vel eum iure reprehenderit qui in ea voluptate velit esse quam nihil molestiae consequatur, vel illum qui dolorem eum fugiat quo voluptas nulla pariatur.","_et_gb_content_width":"","footnotes":""},"class_list":["post-11","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/pages\/11","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/users\/6473"}],"replies":[{"embeddable":true,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/comments?post=11"}],"version-history":[{"count":19,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/pages\/11\/revisions"}],"predecessor-version":[{"id":211,"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/pages\/11\/revisions\/211"}],"wp:attachment":[{"href":"https:\/\/onlineacademiccommunity.uvic.ca\/jensweb\/wp-json\/wp\/v2\/media?parent=11"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}