Students

Doctor

  1. Helisyah Nur Fadhilah (Mathematics ITS, graduated March 2023 — with Mardlijah, D. K. Arif, G. Zhai and E. Apriliani), Decentralized Observer-Based Controller Design for Linear Interconnected Systems.
  2. Ayu Prativi (Civil Engineering ITS, graduated March 2025 — with N. E. Mochtar and I. B. Mochtar), A Novel Method to Predict Field Settlement of Tropical Fibrous Peat Based On Improved CRS Consolidation Test.
  3. Tri Utomo — with Subiono
  4. Acep Taryana — with I. Mukhlash and M. S. Mufid

Master

  1. Mochamad Misbachul Munir Ardy (Mathematics ITS, graduated March 2025), Optimization Analysis of PID Control on Quadcopters Using Particle Swarm Optimization (PSO) and Adaptive Particle Swarm Algorithms Optimization (APSO).
  2. Zulfa Qurrotul ‘Aini (Mathematics ITS, graduated September 2024 — with Hariyanto), Mathematical Model of Three Species with Migration (Study Case : Gorontalo Water).
  3. Wasim Raza (Mathematics ITS, graduated September 2024 — with Subchan), Covid-19 Forecast of Pakistan Provinces using Regression Growth Model.
  4. Megasepti Nur Hidayati (Mathematics ITS, graduated March 2024), Control Design using Satisfiability Modulo Theory (SMT) for Autonomous Robots.
  5. Ulfa Inas Sayekti (Mathematics ITS, graduated September 2022 — with T. Asfihani), Design of Ship Heading Control for Following Dubins’ Path with Dynamic Obstacle using Kalman Filter – Model Predictive Control (KF-MPC).
  6. Dian Kusuma Rahma Putri (Mathematics ITS, graduated September 2019 — with Subchan), Ship Heading Control for Dubins Path-Tracking with Dynamic Obstacle using Model Predictive Control.
  7. Oryza Safitri (Mathematics ITS, graduated September 2019 — with B. Widodo), Mathematical Model Magnetohydrodynamics Through Magnetic Sliced Sphere in Nano Fluid Affected by Mixed Convection.
  8. Herlina Stephani (Mathematics ITS, graduated September 2019 — with B. Widodo), Analysis of Mathematical Model of Micropolar Fluid Flow Past a Magnetic Sliced Sphere.
  9. M. Anas Fikri Muzaki (Mathematics ITS, graduated March 2019 — with Subchan), Mathematical Modeling and Comparison of PID and Sliding Mode Control on the Remote Control Weapon Station Caliber 12.7 mm.
  10. M. Ulul Albab (Mathematics ITS, graduated March 2019 — with M. I. Irawan), Forecasting of Vannamei Shrimp Production Based on Weather Data using Radial Basis Function Network Approach (Case Study: Lamongan District).
  11. Akhmad Mujayyid (Mathematics ITS, graduated March 2019 — with C. Imron), Numerical Simulation of Blood Flow Through Bifurcated Artery with Multi Stenosis.
  12. Ahmad Maulana Syafii (Mathematics ITS, graduated March 2019 — with Subchan), Ship Heading Control using Modified Model Predictive Control-Kalman Filter, currently Lecturer at IAIN Samarinda.
  13. Mufatin Fauziyah (Mathematics ITS, graduated September 2018 — with B. Widodo), The Characterization of Unsteady Magnetohydrodinamic Micropolar Fluid Through a Sphere Affected by Mixed Convection using Euler Implicit Scheme.
  14. Yolanda Norasia (Mathematics ITS, graduated September 2018 — with B. Widodo), Unsteady Magnetohydrodynamic Nano Fluid Flow Pass a Magnetic Sphere Affected by Mixed Convection, currently Lecturer at the Department of Mathematics Education, Universitas Islam Negeri Walisongo Semarang.
  15. Lutfi Mardianto (Mathematics ITS, graduated September 2018 — with B. Widodo), Numerical Solution of the Model of Magnetohydrodynamics Mixed Convection Flow Past a Magnetic Sphere, currently Lecturer at the Department of Mathematics, Institut Teknologi Sumatera.
  16. Heri Purnawan (Mathematics ITS, graduated September 2018 — with Subchan), Disturbance Compensating Model Predictive Control for Warship Motion Control with Missile Firing Mission, currently Lecturer at the Department of Electrical Engineering, Universitas Islam Lamongan.
  17. Abdul Mahatir Najar (Mathematics ITS, graduated September 2018 — with M. I. Irawan), Application of Extreme Learning Machine Method for Dengue Outbreak Risk Level Prediction Based on Weather Condition (Case Study : DKI Jakarta Region).
  18. Aditya Putra Pratama (Mathematics ITS, graduated March 2018 — with Subchan), Finite Abstractions of Uncertain Max-Plus-Linear Systems.
  19. Vimala Rachmawati (Mathematics ITS, graduated March 2018 — with D. K. Arif), Implementation of Kalman Filter Algorithm on Reduced Model using Singular Perturbation Approximation Method.
  20. Nadya Alvi Rahma (Mathematics ITS, graduated September 2017 — with B. Widodo), Forced Convection of Unsteady Magnetohydrodynamics Fluid Past A Porous Sphere, currently Lecturer at Prodi Tadris Matematika, IAIN Tulungagung.
  21. Pingkan Aevi Mariosty Palyama (Mathematics ITS, graduated September 2017 — with B. Widodo), Unsteady Magnetohydrodynamics Nano Fluid in Boundary Layer Flow Past A Sphere Under the Influence of Magnetic Field.
  22. Rizky Verdyanto Pratomo (Mathematics ITS, graduated September 2017 — with B. Widodo), Unsteady Magnetohydrodynamics Micropolar Fluid in Boundary Layer Flow Past A Sphere Under the Influence of Magnetic Field.
  23. Meidy Kaseside (Mathematics ITS, graduated September 2017 — with Subiono), Linear Programming Formulation Model Predictive Control (MPC) Problem for Max-Plus Linear Systems and Its Application to Flow Line Production Systems, currently Lecturer at the Department of Mathematics, Universitas Halmahera.
  24. Trifena Punana Lesnussa (Mathematics ITS, graduated September 2017 — with D. K. Arif), Identification and Estimation Process on State Variables of Reduced Model, currently Lecturer at the Department of Mathematics, Universitas Halmahera.
  25. Nurul Fuady Adhalia H. (Mathematics ITS, graduated September 2017 — with Subiono), Finite Abstraction of Timed Continuous Petri Nets and Its Applications to Water Fountain Systems, currently Lecturer at the Department of Mathematics, Institut Teknologi Bacharuddin Jusuf Habibie.
  26. Muhammadun (Mathematics ITS, graduated March 2017 — with I. Mukhlash), Design and Implementation of Software for Finite Abstractions of Max-Plus-Linear Systems using Tree without Recursive Functions, currently Lecturer at the Department of Mathematics, Universitas Airlangga.
  27. Ruvita Iffahtur Pertiwi (Mathematics ITS, graduated September 2016 — with Subiono), Formal Verification Petri Nets with Counters of Inventory Systems, currently Lecturer at the Department of Mathematics Education, Universitas Wisnuwardhana.
  28. Deny Murdianto (Mathematics ITS, graduated September 2016), Modeling of a Water Treatment Plant using Hybrid Petri Nets, currently Lecturer at the Department of Mechanical Engineering, Universitas Borneo Tarakan.
  29. Imam Fauzi (Mathematics ITS, graduated September 2016), Application of Model Predictive Control (MPC) for Flow Line Production System using Max-Plus Algebra.
  30. Radhiyatil Khaira (Mathematics ITS, graduated September 2016 — with Subiono), The Application of Min-Plus Algebra to Determine Shortest Path on a Delivery Network.
  31. Petrus Fendiyanto (Mathematics ITS, graduated September 2016 — with Subiono), Supervisory Control on Regulator System of Traffic in Airport using Petri Nets.
  32. Suci Rahmawati (Mathematics ITS, graduated September 2016 — with E. R. M. Putri), Modeling of Queue in a Branch of Bank X using Coloured Petri Nets, currently Lecturer at the Department of Information Systems, Institut Sains dan Teknologi Nahdlatul Ulama Bali.
  33. Yining Zhang (CS Oxford, graduated September 2014 — with A. Abate), Finite Abstraction and Formal Verification of Autonomous Max-Plus Linear Systems, currently Infrastructure Engineer in BT.
  34. Bassilio Dahlan (EWI TU Delft, graduated September 2013 — with M. Mazo and A. Abate), Finite Abstractions of Network Calculus Elements for Formal Verification of Network Bounds, currently DSP Firmware Engineer at Intel Corporation.

Bachelor

  1. Abdullah Ihsan Parouq (Mathematics ITS, graduated … with W. F. Doctorina)
  2. Moehamad Noor At Tharikh (Mathematics ITS, graduated March 2025 — with M. S. Mufid), Formal Verification and Modelling of Stocks Price Fluctuation with Non-Uniform Interval using Discrete-Time Markov Chain and Probabilistic Computation Tree Logic.
  3. Agfa Syalsa Fadlina (Mathematics ITS, graduated September 2024 — with M. S. Mufid), Formal Verification and Modeling of Stocks Price using Discrete Time Markov Chains and Probabilistic Computation Tree Logic.
  4. Meilia Tri Andari (Mathematics ITS, graduated September 2023 — with M. S. Mufid), Strategy Of The Katla Game Using Satisfiability Modulo Theory.
  5. Febrianti Silviana Saputri (Mathematics ITS, graduated September 2022 — with M. S. Mufid), Control Design of Autonomous Car using Satisfiability Modulo Theory.
  6. Fira Faiza Tertia (Mathematics ITS, graduated September 2021), Modeling Infectious Diseases With Vaccination and Waning Immunity Using SIR.
  7. Lintang Hayu Nur Afnani (Mathematics ITS, graduated September 2021), Optimal Control Design of Diphtheria Disease Spread Model Using Pontryagin Minimum Principle Method.
  8. Megasepti Nur Hidayati (Mathematics ITS, graduated September 2021 — with H. Nurhadi), Motion Control Design and Analysis of UR5 Collaborative Robots Using Fuzzy Logic Control (FLC) Method.
  9. Azizah Wahyantika (Mathematics ITS, graduated September 2021 — with H. Nurhadi), Position Estimation of Autonomous Car Using Ensemble Kalman Filter (EnKF) Method With Sliding-Mode Motion Control.
  10. Slati Wahyuningtri (Mathematics ITS, graduated September 2021 — with H. Nurhadi), Motion Control Design and Analysis of UR5 Collaborative Robots Using Proportional Integral Derivative (PID) Method.
  11. Sindy Ma’rifatul Ainil Khusniyah (Mathematics ITS, graduated September 2021), Stability Analysis of SIR Model (Susceptible, Infected, Recovered) Model With and Without Vaccination.
  12. Adelia Triana Pamungkas (Mathematics ITS, graduated September 2020 — with D. K. Arif), Stability Analysis of Switched Linear Systems with Common Lyapunov Function and Its Application on PWM-Driven Boost Converter, currently at BNI Graha Pangeran.
  13. Ari Ramadhana Hendrawan (Mathematics ITS, graduated September 2020), Modelling and Verification of Withdrawing Money in Automated Teller Machine (ATM) using Timed Automata.
  14. Ardyan Chandra Dwi Anggoro (Mathematics ITS, graduated September 2020 — with Mardlijah), Control Design of Autonomous Underwater Vehicle (AUV) With Active Ballast using Sliding Mode Control.
  15. Erlin Dhebora (Mathematics ITS, graduated September 2020), A Study on Stability Analysis of Commuting Switched Linear Systems, currently at Sinarmas Forestry.
  16. Ulfa Inas Sayekti (Mathematics ITS, graduated September 2020 — with T. Asfihani), Ship Heading Control of Unmanned Ship using Moving Horizon Estimation – Nonlinear Model Predictive Control (MHE-NMPC).
  17. Theresya Beatriz (Mathematics ITS, graduated September 2020 — with H. Nurhadi), Control Design of Bow Thruster Motion System for Autonomous Surface Vehicle using Sliding Mode Control Method, currently at BNI.
  18. Mayga Kiki (Mathematics ITS, graduated September 2020 — with H. Nurhadi), The Comparison Between Kalman Filter and Ensemble Kalman Filter Method for Estimation of Section Average Flow Velocity and Motor Rotational Rate of Autonomous Surface Vehicle in a Bow Thruster Model, currently Office Development Program at PT. Bank Syariah Indonesia, Tbk.
  19. Faris Mahdi (Mathematics ITS, graduated September 2019), Yield Curve Forecasting using Diebold-Li Model and Kalman Filter Method: A Case Study in Indonesia, currently Data Analyst at XL Axiata.
  20. Hayu Marta Febrian (Mathematics ITS, graduated September 2019 — with D. K. Arif), Study of Control System Design using Hinf Method, currently Bagian Aktuaria dan Pengembangan Produk at PT Askrindo.
  21. Rachmat Wahyudi Ismail (Mathematics ITS, graduated September 2019 — with T. Asfihani), Hydrodynamic Coefficient Estimation using Unscented Kalman Filter and Recursive Least Square, currently at Nurosoft Consulting.
  22. Retno Asfiyah (Mathematics ITS, graduated September 2019), Voltage Estimation of Resistor-Capacitor (RC) Battery System using Kalman Filter Method.
  23. Corry Sara Siahaan (Mathematics ITS, graduated September 2019 — with D. K. Arif), Low Order Control Design using Hinf Method.
  24. Putri Afiani Widiyanti (Mathematics ITS, graduated September 2019 — with T. Asfihani), Stability Analysis and Control Design of Ship Motion using Lyapunov and Model Predictive Control (MPC) Method.
  25. Alfin Asmara (Mathematics ITS, graduated September 2019), Autolanding Control Design of Unmanned Aerial Vehicles using Model Predictive Control.
  26. Zulfa Qurrotul ‘Aini (Mathematics ITS, graduated March 2019 — with T. Asfihani), Control Design for Path Planning of Unmanned Aerial Vehicles using Abstraction Method.
  27. Muhammad Afif Nasrul Anam (Mathematics ITS, graduated September 2018 — with T. Asfihani), Application of Abstraction Method for Altitude Control Design of LSU-05 Aircraft.
  28. Iratdya Winggari (Mathematics ITS, graduated September 2018 — with T. Asfihani), Control of Ship Heading for Dubins Path Tracking with Static Obstacle using Model Predictive Control.
  29. Annisa Mega Putri (Mathematics ITS, graduated September 2018), Safety Verification of Bacteriophage Dynamic Model with Resistant Bacteria and Bacteria Debris using Taylor Model.
  30. Mohammad Khoirul Roziq (Mathematics ITS, graduated March 2018 — with D. K. Arif), Model Reduction Analysis of Discrete-Time Linear Systems using Hankel Norm Approximation.
  31. Mochamad Satria Dharma Utama (Mathematics ITS, graduated March 2018 — with B. Widodo), Unsteady Magnetohydrodynamics on Mixture Convection Flowing Through A Sliced Sphere in Viscous Fluid Under the Influence of Magnetic Field.
  32. Aditya Barulhadi Margono (Mathematics ITS, graduated March 2018 — with E. R. M. Putri), Numerical Valuation of Heating Degree-day Options.
  33. Ghulam Mu’ammar (Industrial Engineering ITS, graduated September 2017 — with A. Rusdiansyah)
  34. Tahta Dari Timur (Mathematics ITS, graduated September 2017 — with Soleha), A Study of Hamming Code and Its Simulations using Sage.
  35. Rusydah Kamilah (Mathematics ITS, graduated September 2017 — with T. Asfihani), Application of Extended Kalman Filter-Unknown Input-Without Direct Feedthrough (EKF-UI-WDF) to Vessel in Missile Launching.
  36. Sheerty Putri Pertiwi (Mathematics ITS, graduated March 2017 — with D. K. Arif), Variable Identification of Reduced Continuous-Time Linear Systems.
  37. Airin Nur Hidayati (Mathematics ITS, graduated March 2017 — with D. K. Arif), Reduction of One-Dimensional River Flow Model using Singular Perturbation Approximation Method.
  38. Helisyah Nur Fadhilah (Mathematics ITS, graduated March 2017 — with D. K. Arif), Reduction Model Analysis of Unstable Discrete-Time Linear Systems using Singular Perturbation Approximation Method.
  39. Ikhwan Mohammad Iqbal (Mathematics ITS, graduated September 2016 — with I. Mukhlash), Formal Verification of ATM (Automated Teller Machine) Transaction System Design using SPIN (Simple Promela Interpreter).
  40. Iffah Nuril Khasanah (Mathematics ITS, graduated September 2016 — with D. K. Arif), Reduction Model Analysis of Unstable Discrete-Time Linear Systems.