I am an assistant professor in the department of Computer Science at Texas Tech University (TTU). Before joining at TTU, I worked as a postdoctoral fellow under Ed Clarke, a recipient of 2007 ACM Turing Award, at Carnegie Mellon UniversityI obtained my PhD from the department of Computer Science at Stony Brook University in 2015 under the supervision of Prof. Scott Smolka and Prof. Radu Grosu. I received bachelor degree in Computer Science and Engineering from Bangladesh University of Engineering and Technology.

My research interest lies in the intersection of formal methods, system security, machine learning and nonlinear optimization. In particular, I work in the advancement of model-driven design, implementation and verification of Cyber-Physical Systems and Internet of Things (CPS/IoT) by addressing their safety and security concerns.  My work includes the development of automated tools and techniques that support the modeling and analysis of dependable CPS/IoT by combining techniques from formal methods, nonlinear optimization and machine learning.  

News​​
  • July 2019: Our work on robustness of neural networks to parameter quantization is accepted in ScottFest'19

  • April 2019: Our work on Synthesizing Cyber-Attack on ICD is accepted in CPS-SR'19

  • April 2019: Our work on Under the hood of Lagrangian Reachability accepted in ARCH'19 

  • January 2019: Our paper on ICD attack is accepted at ICCPS'19 

  • August 2018: Joined TTU as an Assistant Professor!

  • July 2018: Our Paper on Lagrangian Reachability is accepted at CDC'18

  • April, 2018: Submitted a paper on synthesizing reprogramming attack on ICDs in EMSOFT'18

  • March, 2018: Submitted a paper on CDC'18

  • February, 2018: Our paper on multi-parameter bifurcation analysis of cardiac alternans is accepted in TCS special issue on Formal Verification and Static Analysis of Molecular Devices and Biological Systems

  • February, 2018: Serving as a PC member in MSE@SEFM 2018

  • January 2018: Serving as a PC member in DARS @ CPS Week 2018

  • October, 2017: Serving as a PC member in HSCC RE committee 2018

  • June, 2017: Our paper on barrier-certificate-based simplex architecture is accepted in SAFECOMP 2017

  • May, 2017: Our paper on Lagrangian reachability for nonlinear dynamical systems is accepted in CAV 2017

  • April, 2017: Submitted a paper on multi-parameter bifurcation analysis of cardiac alternans in TCS special issue on Formal Verification and Static Analysis of Molecular Devices and Biological Systems

  • February, 2017: Our paper on sum-of-square optimization and delta-decidability based compositional proof for input-to-output stability is accepted in IFAC journal NAHS [Impact Factor: 3.963 ]

  • January, 2017: Serving as a PC member in MSE@SEFM 2017

  • May, 2016: Our paper on bifurcation analysis of cardiac alternans is accepted in CMSB 2016

  • May, 2016: Serving as a PC member in tool evaluation committee at CMSB 2016

  • August, 2016: Our paper on probabilistic reachability analysis of tap withdrawal circuit in C elegans is accepted in HLDVT 2016

  • February 2016: Start working as a  postdoctoral fellow in the department of computer science at CMU

Follow me

© 2017 by Md Ariful Islam
Proudly created with
Wix.com
 

Call

T: 631-974-1577   

  • LinkedIn Social Icon
  • Facebook Clean
  • Twitter Clean