{"id":302,"date":"2019-03-26T01:15:06","date_gmt":"2019-03-25T16:15:06","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?page_id=302"},"modified":"2025-05-01T15:45:28","modified_gmt":"2025-05-01T06:45:28","slug":"about","status":"publish","type":"page","link":"https:\/\/group-mmm.org\/eratommsd\/about\/","title":{"rendered":"About"},"content":{"rendered":"\n<p>We are MTSS Center (Research Center for Mathematical Trust in Software and Systems), <a href=\"https:\/\/www.nii.ac.jp\/\">NII<\/a> (National Institute of Informatics). <\/p>\n\n\n\n<p>Our research activities are centered around the following projects.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong><a href=\"http:\/\/www.jst.go.jp\/EN\/index.html\">JST<\/a>\u00a0<a href=\"https:\/\/www.jst.go.jp\/inter\/aspire\/en\/index.html\">ASPIRE<\/a>\u00a0&#8220;Network of Software Studies towards Social Trust in Information Technologies&#8221;<\/strong>\u00a0(a grant for international collaboration with\u00a0<a href=\"https:\/\/www.cs.ru.nl\/B.Jacobs\/\">Bart Jacobs<\/a>,\u00a0<a href=\"https:\/\/moves.rwth-aachen.de\/people\/katoen\/\">Joost-Pieter Katoen<\/a>, and\u00a0<a href=\"https:\/\/www.cs.ox.ac.uk\/people\/samuel.staton\/main.html\">Sam Staton<\/a>, Grant No. JPMJAP2301). Feb 2024-Mar 2029.<\/li>\n\n\n\n<li>(Concluded) <strong><a href=\"http:\/\/www.jst.go.jp\/EN\/index.html\">JST<\/a>\u00a0<a href=\"http:\/\/www.jst.go.jp\/erato\/en\/\">ERATO<\/a>\u00a0HASUO Metamathematics for Systems Design Project<\/strong>\u00a0(No. JPMJER1603). Oct 2016-Mar 2022. Extended till Mar 2025.<\/li>\n\n\n\n<li>(Concluded, with <a href=\"https:\/\/imiron.io\/\">Imiron Co. Ltd.<\/a> founded) <strong><a href=\"http:\/\/www.jst.go.jp\/EN\/index.html\">JST<\/a>\u00a0<a href=\"https:\/\/www.jst.go.jp\/start\/en\/\">START<\/a>\u00a0(Commercialization Support) &#8220;Real-World Deployment of Automated Driving via Logical Explanation of Quality of Software&#8221;<\/strong>\u00a0(No. JPMJST2213). Nov 2022-Aug 2024.<\/li>\n<\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are MTSS Center (Research Center for Mathematical Trust in Software and Systems), NII (National Institute of Informatics). Our research activities are centered around the following projects.<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_locale":"en_US","_original_post":"35","footnotes":""},"class_list":["post-302","page","type-page","status-publish","hentry","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/302","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\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=302"}],"version-history":[{"count":11,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/302\/revisions"}],"predecessor-version":[{"id":2806,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/302\/revisions\/2806"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=302"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}