Research Interest

• Algebra
• Formal Verification

Education

• Doctoral Degree in Oxford University, England
• Master Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, Indonesia.
• Bachelor Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, Indonesia.

 Publications (Recent Journals and Conferences)

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