{"id":64,"date":"2023-10-26T15:14:51","date_gmt":"2023-10-26T13:14:51","guid":{"rendered":"https:\/\/project.inria.fr\/saif\/?page_id=64"},"modified":"2025-03-12T11:39:58","modified_gmt":"2025-03-12T10:39:58","slug":"project-members","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/saif\/project-members\/","title":{"rendered":"Project Members"},"content":{"rendered":"<ul class=\"wp-block-list\"><li><a href=\"https:\/\/team.inria.fr\/antique\/\">ANTIQUE Research Team<\/a> (Inria Paris)<\/li><li><a href=\"https:\/\/www.labri.fr\">Bordeaux Computer Science Laboratory (LaBRI)<\/a> (Universit\u00e9 de Bordeaux)<\/li><li><a href=\"https:\/\/www.lix.polytechnique.fr\">Computer Science Laboratory of the \u00c9cole polytechnique (LIX)<\/a> (Institut Polytechnique de Paris)<\/li><li><a href=\"https:\/\/lmf.cnrs.fr\">Formal Methods Laboratory (LMF)<\/a> (Universit\u00e9 Paris-Saclay)<\/li><li><a href=\"https:\/\/list.cea.fr\/fr\/intelligence-artificielle\/\">Software Safety &amp; Security Lab<\/a> (CEA-List)<\/li><li><a href=\"http:\/\/www.irisa.fr\/sumo\/index.html\">SuMo Research Team<\/a> (Inria Rennes)<\/li><li><a href=\"https:\/\/team.inria.fr\/tau2\/\">TAU Research Team<\/a> (Inria Saclay)<\/li><\/ul>","protected":false},"excerpt":{"rendered":"<p>ANTIQUE Research Team (Inria Paris) Bordeaux Computer Science Laboratory (LaBRI) (Universit\u00e9 de Bordeaux) Computer Science Laboratory of the \u00c9cole polytechnique (LIX) (Institut Polytechnique de Paris) Formal Methods Laboratory (LMF) (Universit\u00e9 Paris-Saclay) Software Safety &amp; Security Lab (CEA-List) SuMo Research Team (Inria Rennes) TAU Research Team (Inria Saclay)<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/saif\/project-members\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":2389,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-64","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/pages\/64","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/users\/2389"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/comments?post=64"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/pages\/64\/revisions"}],"predecessor-version":[{"id":170,"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/pages\/64\/revisions\/170"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/saif\/wp-json\/wp\/v2\/media?parent=64"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}