{"id":41,"date":"2018-07-09T21:42:08","date_gmt":"2018-07-09T12:42:08","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?page_id=41"},"modified":"2025-05-01T14:48:39","modified_gmt":"2025-05-01T05:48:39","slug":"members","status":"publish","type":"page","link":"https:\/\/group-mmm.org\/eratommsd\/members\/","title":{"rendered":"Members"},"content":{"rendered":"\n<div class=\"wp-block-media-text alignwide is-stacked-on-mobile\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"374\" height=\"428\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/portrait-3-e1553405501757.jpg\" alt=\"\" class=\"wp-image-241 size-full\" srcset=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/portrait-3-e1553405501757.jpg 374w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/portrait-3-e1553405501757-262x300.jpg 262w\" sizes=\"auto, (max-width: 374px) 100vw, 374px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<p><a href=\"http:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a>. Research Director; Professor (NII)<\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-media-text alignwide is-stacked-on-mobile\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/Picture1.png\" alt=\"\" class=\"wp-image-258 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p>Kumiko Takikawa. Research Manager (NII) <\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-media-text alignwide is-stacked-on-mobile\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/Picture1.png\" alt=\"\" class=\"wp-image-258 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p>Mitsuya Okada. IP Specialist;  Visiting Professor (NII) <\/p>\n<\/div><\/div>\n\n\n<h2>MTSS Center Administration<\/h2>\n\n\n<div class=\"wp-block-media-text alignwide is-stacked-on-mobile\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/Picture1.png\" alt=\"\" class=\"wp-image-258 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p>Noriko Kitakawa. Administrative Staff (NII)<\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-media-text alignwide is-stacked-on-mobile\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/Picture1.png\" alt=\"\" class=\"wp-image-258 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p>Kazue Kusama. Administrative Staff (NII)<\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-media-text alignwide is-stacked-on-mobile\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/Picture1.png\" alt=\"\" class=\"wp-image-258 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p>Kimiko Ohno. Administrative Staff (NII)<\/p>\n<\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\"><a href=\"https:\/\/group-mmm.org\/eratommsd\/members\/g0-metamathematical-integration\/\">Group 0: Metamathematical Integration<\/a><\/h2>\n\n\n\n<h2 class=\"wp-block-heading\"><a href=\"https:\/\/group-mmm.org\/eratommsd\/members\/g4-trust-in-software-and-systems\/\" data-type=\"page\" data-id=\"453\">Group 4: Trust in Software and Systems<\/a><\/h2>\n\n\n\n<h2 class=\"wp-block-heading\">Group 1: Heterogeneous Formal Methods <\/h2>\n\n\n\n<p>(Discontinued in March 2022, merged into Group 4)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Group 2: Formal Methods in Industry <\/h2>\n\n\n\n<p>(Discontinued in March 2022, merged into Group 4)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Group 3: Formal Methods and Intelligence <\/h2>\n\n\n\n<p>(Discontinued in March 2022, merged into Group 4)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><a href=\"https:\/\/group-mmm.org\/eratommsd\/members\/former-members\/\">Former Members<\/a><\/h2>\n","protected":false},"excerpt":{"rendered":"<p>Ichiro Hasuo. Research Director; Professor (NII) Kumiko Takikawa. Research Manager (NII) Mitsuya Okada. IP Specialist; Visiting Professor (NII) MTSS Center Administration Noriko Kitakawa. Administrative Staff (NII) Kazue Kusama. Administrative Staff (NII) Kimiko Ohno. Administrative Staff (NII) Group 0: Metamathematical Integration Group 4: Trust in Software and Systems Group 1: Heterogeneous Formal Methods (Discontinued in March 2022, merged into Group 4) Group 2: Formal Methods in Industry (Discontinued in March 2022, merged into Group 4) Group 3: Formal Methods and Intelligence (Discontinued in March 2022, merged into Group 4) Former Members<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_locale":"en_US","_original_post":"41","footnotes":""},"class_list":["post-41","page","type-page","status-publish","hentry","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/41","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=41"}],"version-history":[{"count":81,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/41\/revisions"}],"predecessor-version":[{"id":2760,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/41\/revisions\/2760"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=41"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}