{"id":3052,"date":"2018-10-23T10:50:35","date_gmt":"2018-10-23T03:50:35","guid":{"rendered":"https:\/\/www.its.ac.id\/matematika\/?page_id=3052"},"modified":"2026-07-29T09:05:26","modified_gmt":"2026-07-29T02:05:26","slug":"muhammad-syifaul-mufid","status":"publish","type":"page","link":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/","title":{"rendered":"Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil."},"content":{"rendered":"

[vc_row][vc_column width=”1\/4″][vc_empty_space][dot_sidebar_menu select_menu=”sidebar-dosen-staf”][vc_empty_space][join_help_box type=”help”][\/vc_column][vc_column width=”3\/4″][vc_empty_space][dot_custom_title position_text=”left” title=”Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil.”][\/dot_custom_title][vc_row_inner][vc_column_inner width=”1\/3″][vc_single_image image=”12348″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/3″][vc_column_text]<\/p>\n\n\n\n\n\n
Email<\/td>\nsyifaul.mufid@its.ac.id<\/td>\n<\/tr>\n
Ruang<\/td>\nSekretariat Departemen Matematika, Gedung F Lantai 2<\/td>\n<\/tr>\n
Profil<\/td>\nScholar<\/a> Scholar-ITS<\/a> Scopus<\/a> Sinta<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_column_text]<\/p>\n

Research Interest<\/strong><\/h3>\n
    \n
  • Algebra<\/li>\n
  • Formal Verification<\/li>\n<\/ul>\n

    Education <\/strong><\/h3>\n
      \n
    • Doctoral<\/strong> Degree<\/strong> in Oxford University, <\/strong>England<\/li>\n
    • Master <\/strong>Degree<\/strong>, Department of Mathematics, Institut Teknologi Sepuluh Nopember<\/strong> Surabaya, Indonesia.<\/li>\n
    • Bachelor Degree<\/strong>, Department of Mathematics, Institut Teknologi Sepuluh Nopember<\/strong> Surabaya, Indonesia.<\/li>\n<\/ul>\n

      \u00a0<\/strong>Publications <\/strong>(<\/strong>Recent<\/strong> Journal<\/strong>s<\/strong> and Conferences) <\/strong><\/h3>\n
        \n
      1. SMT-based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems, IEEE Transactions on Automatic Control, 2021<\/li>\n
      2. ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking, EPiC Series in Computing 74, 1-15, 2020<\/li>\n
      3. Computation of the Transient in Max-Plus Linear Systems via SMT-Solving, International Conference on Formal Modeling and Analysis of Timed Systems, 2020<\/li>\n
      4. Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems, IFAC-PapersOnLine 53 (4), 459-465, 2020<\/li>\n
      5. Bounded model checking of max-plus linear systems via predicate abstractions, International Conference on Formal Modeling and Analysis of Timed Systems, 2019<\/li>\n
      6. ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics., ARCH@ CPSIoTWeek, 1-13, 2019<\/li>\n
      7. Tropical abstractions of max-plus linear systems, International Conference on Formal Modeling and Analysis of Timed Systems, 2018<\/li>\n<\/ol>\n

        [\/vc_column_text][\/vc_column][\/vc_row]<\/p>\n","protected":false},"excerpt":{"rendered":"

        [vc_row][vc_column width=”1\/4″][vc_empty_space][dot_sidebar_menu select_menu=”sidebar-dosen-staf”][vc_empty_space][join_help_box type=”help”][\/vc_column][vc_column width=”3\/4″][vc_empty_space][dot_custom_title position_text=”left” title=”Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil.”][\/dot_custom_title][vc_row_inner][vc_column_inner width=”1\/3″][vc_single_image image=”12348″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/3″][vc_column_text] Email syifaul.mufid@its.ac.id Ruang Sekretariat Departemen Matematika, Gedung F Lantai 2 Profil Scholar Scholar-ITS Scopus Sinta [\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_column_text] Research Interest Algebra Formal Verification Education Doctoral Degree in Oxford University, England Master Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, […]<\/p>\n","protected":false},"author":130,"featured_media":0,"parent":356,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"templates\/page-its.php","meta":{"_joinchat":[],"footnotes":""},"class_list":["post-3052","page","type-page","status-publish","hentry"],"yoast_head":"\nMuhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil. - Departemen Matematika ITS<\/title>\n<meta name=\"description\" content=\"Departemen matematika FSAD ITS memiliki tiga program studi: Sarjana, Pascasarjana, dan Doktor. Terbagi dalam tiga rumpun mata kuliah yaitu analisis dan aljabar, matematika terapan, dan Ilmu Komputer\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Muhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil. - Departemen Matematika ITS\" \/>\n<meta property=\"og:description\" content=\"Departemen matematika FSAD ITS memiliki tiga program studi: Sarjana, Pascasarjana, dan Doktor. Terbagi dalam tiga rumpun mata kuliah yaitu analisis dan aljabar, matematika terapan, dan Ilmu Komputer\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/\" \/>\n<meta property=\"og:site_name\" content=\"Departemen Matematika ITS\" \/>\n<meta property=\"article:modified_time\" content=\"2026-07-29T02:05:26+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/\",\"url\":\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/\",\"name\":\"Muhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil. - Departemen Matematika ITS\",\"isPartOf\":{\"@id\":\"https:\/\/www.its.ac.id\/matematika\/#website\"},\"datePublished\":\"2018-10-23T03:50:35+00:00\",\"dateModified\":\"2026-07-29T02:05:26+00:00\",\"description\":\"Departemen matematika FSAD ITS memiliki tiga program studi: Sarjana, Pascasarjana, dan Doktor. Terbagi dalam tiga rumpun mata kuliah yaitu analisis dan aljabar, matematika terapan, dan Ilmu Komputer\",\"breadcrumb\":{\"@id\":\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.its.ac.id\/matematika\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Dosen dan Staf\",\"item\":\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Dosen\",\"item\":\"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil.\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.its.ac.id\/matematika\/#website\",\"url\":\"https:\/\/www.its.ac.id\/matematika\/\",\"name\":\"Departemen Matematika ITS\",\"description\":\"Department of Mathematics ITS\",\"alternateName\":\"Department of mathematics ITS\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.its.ac.id\/matematika\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Muhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil. - Departemen Matematika ITS","description":"Departemen matematika FSAD ITS memiliki tiga program studi: Sarjana, Pascasarjana, dan Doktor. Terbagi dalam tiga rumpun mata kuliah yaitu analisis dan aljabar, matematika terapan, dan Ilmu Komputer","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/","og_locale":"en_US","og_type":"article","og_title":"Muhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil. - Departemen Matematika ITS","og_description":"Departemen matematika FSAD ITS memiliki tiga program studi: Sarjana, Pascasarjana, dan Doktor. Terbagi dalam tiga rumpun mata kuliah yaitu analisis dan aljabar, matematika terapan, dan Ilmu Komputer","og_url":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/","og_site_name":"Departemen Matematika ITS","article_modified_time":"2026-07-29T02:05:26+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/","url":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/","name":"Muhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil. - Departemen Matematika ITS","isPartOf":{"@id":"https:\/\/www.its.ac.id\/matematika\/#website"},"datePublished":"2018-10-23T03:50:35+00:00","dateModified":"2026-07-29T02:05:26+00:00","description":"Departemen matematika FSAD ITS memiliki tiga program studi: Sarjana, Pascasarjana, dan Doktor. Terbagi dalam tiga rumpun mata kuliah yaitu analisis dan aljabar, matematika terapan, dan Ilmu Komputer","breadcrumb":{"@id":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/muhammad-syifaul-mufid\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.its.ac.id\/matematika\/"},{"@type":"ListItem","position":2,"name":"Dosen dan Staf","item":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/"},{"@type":"ListItem","position":3,"name":"Dosen","item":"https:\/\/www.its.ac.id\/matematika\/dosen-staf\/daftar-dosen\/"},{"@type":"ListItem","position":4,"name":"Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil."}]},{"@type":"WebSite","@id":"https:\/\/www.its.ac.id\/matematika\/#website","url":"https:\/\/www.its.ac.id\/matematika\/","name":"Departemen Matematika ITS","description":"Department of Mathematics ITS","alternateName":"Department of mathematics ITS","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.its.ac.id\/matematika\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/pages\/3052","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/users\/130"}],"replies":[{"embeddable":true,"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/comments?post=3052"}],"version-history":[{"count":18,"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/pages\/3052\/revisions"}],"predecessor-version":[{"id":13558,"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/pages\/3052\/revisions\/13558"}],"up":[{"embeddable":true,"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/pages\/356"}],"wp:attachment":[{"href":"https:\/\/www.its.ac.id\/matematika\/wp-json\/wp\/v2\/media?parent=3052"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}