{"id":1712,"date":"2026-06-11T09:55:15","date_gmt":"2026-06-11T09:55:15","guid":{"rendered":"https:\/\/synasc.ro\/2026\/?page_id=1712"},"modified":"2026-06-11T09:57:45","modified_gmt":"2026-06-11T09:57:45","slug":"bertrand-meyer","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2026\/invited-speakers\/bertrand-meyer\/","title":{"rendered":"Bertrand Meyer"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1712\" class=\"elementor elementor-1712\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3e0b8ee e-con-full e-flex e-con e-parent\" data-id=\"3e0b8ee\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a3ba736 elementor-widget elementor-widget-heading\" data-id=\"a3ba736\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Invisible Verification: the Eiffel experience<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-80ba9f5 elementor-widget elementor-widget-heading\" data-id=\"80ba9f5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Bertrand Meyer<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7088b6b elementor-widget elementor-widget-text-editor\" data-id=\"7088b6b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>ETH Z\u00fcrich, Switzerland<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6af37d1 elementor-widget elementor-widget-image\" data-id=\"6af37d1\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"220\" height=\"300\" src=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/Bertrand_Meyer_recent-220x300.jpg\" class=\"attachment-medium size-medium wp-image-1714\" alt=\"\" srcset=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/Bertrand_Meyer_recent-220x300.jpg 220w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/Bertrand_Meyer_recent-751x1024.jpg 751w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/Bertrand_Meyer_recent-768x1047.jpg 768w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/Bertrand_Meyer_recent-1127x1536.jpg 1127w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/06\/Bertrand_Meyer_recent.jpg 1280w\" sizes=\"(max-width: 220px) 100vw, 220px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e257af elementor-align-center elementor-hidden-widescreen elementor-hidden-desktop elementor-hidden-tablet elementor-hidden-mobile elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"6e257af\" data-element_type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<a href=\"#\">\n\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-globe\" viewBox=\"0 0 496 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M336.5 160C322 70.7 287.8 8 248 8s-74 62.7-88.5 152h177zM152 256c0 22.2 1.2 43.5 3.3 64h185.3c2.1-20.5 3.3-41.8 3.3-64s-1.2-43.5-3.3-64H155.3c-2.1 20.5-3.3 41.8-3.3 64zm324.7-96c-28.6-67.9-86.5-120.4-158-141.6 24.4 33.8 41.2 84.7 50 141.6h108zM177.2 18.4C105.8 39.6 47.8 92.1 19.3 160h108c8.7-56.9 25.5-107.8 49.9-141.6zM487.4 192H372.7c2.1 21 3.3 42.5 3.3 64s-1.2 43-3.3 64h114.6c5.5-20.5 8.6-41.8 8.6-64s-3.1-43.5-8.5-64zM120 256c0-21.5 1.2-43 3.3-64H8.6C3.2 212.5 0 233.8 0 256s3.2 43.5 8.6 64h114.6c-2-21-3.2-42.5-3.2-64zm39.5 96c14.5 89.3 48.7 152 88.5 152s74-62.7 88.5-152h-177zm159.3 141.6c71.4-21.2 129.4-73.7 158-141.6h-108c-8.8 56.9-25.6 107.8-50 141.6zM19.3 352c28.6 67.9 86.5 120.4 158 141.6-24.4-33.8-41.2-84.7-50-141.6h-108z\"><\/path><\/svg>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Webpage<\/span>\n\t\t\t\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-89d48db elementor-widget elementor-widget-heading\" data-id=\"89d48db\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ABSTRACT<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-dd1252a elementor-widget elementor-widget-text-editor\" data-id=\"dd1252a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>For many software engineering researchers, the need to verify software formally does not take much convincing. Between intellectual acceptance to practical application, however, the gap is wide. With notable exceptions, particularly in life-critical software, industry does not use much formal verification. For several decades Eiffel users have been convinced that at least a degree of formality is essential, and have seen the benefits in the quality of the systems they produce. This experience has largely been based on run-time verification, but the development of the AutoProof environment is making the goal of static proofs more realistic.<\/p><p>To succeed, static verification (that is to say, proofs) should move from its current \u201cheroic\u201d status to a normal, almost casual, component of the software engineer\u2019s everyday routine, at the same level of obviousness and acceptance as, for example, type checking or configuration management: it should become \u201cVerification As A Matter Of Course\u201d (VAMOC) or, to coin a shorter name, Invisible Verification.<\/p><p>How realistic a goal is it? This talk will examine lessons from the Eiffel experience including the automated proofs of entire libraries, present the AutoProof architecture, examine frankly the remaining scientific and engineering obstacles, and sketch a possible path towards widespread Invisible Verification.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8c706e9 elementor-widget elementor-widget-heading\" data-id=\"8c706e9\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">SHORT BIO<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0b87dae elementor-widget elementor-widget-text-editor\" data-id=\"0b87dae\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>Bertrand Meyer has written some of the fundamental texts about object-oriented programming. He was the first recipient of the Dahl-Nygaard prize for object technology and also received the ACM Software System Award for the design of Eiffel, the Harlan Mills software engineering prize of the IEEE and the Jolt Award. He is a fellow of the ACM and IFIP, a member of several academies, and received two honorary doctorates. His recent work covers requirements engineering (Handbook of Requirements and Business Analysis, Springer, 2023), formal software verification and the application of AI to software development.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Invisible Verification: the Eiffel experience Bertrand Meyer ETH Z\u00fcrich, Switzerland Webpage ABSTRACT For many software engineering researchers, the need to verify software formally does not take much convincing. Between intellectual acceptance to practical application, however, the gap is wide. With notable exceptions, particularly in life-critical software, industry does not use much formal verification. For several [&hellip;]<\/p>\n","protected":false},"author":30,"featured_media":0,"parent":226,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1712","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1712","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/users\/30"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/comments?post=1712"}],"version-history":[{"count":4,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1712\/revisions"}],"predecessor-version":[{"id":1717,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1712\/revisions\/1717"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/226"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/media?parent=1712"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}