1. Md. Ariful Islam
47 Crestwood Ln, Farmingville, NY, USA
e-mail: mdaislam@cs.stonybrook.edu Tel: 1-631-974-1577
Web: http://www.cs.sunysb.edu/~mdaislam
SUMMARY
Computer Science Ph.D. candidate focused on modeling, simulation, and formal verification of complex
software and dynamical systems using advanced computational and numerical algorithms.
MAJOR SKILLS
Model-Based Development Mathematical Modeling (ODE/PDE), Time Series Analysis,
Parameter Estimation, Curve-Fitting, Kalman Filtering
Verification & Validation Model checking, Abstract Interpretation, Reachability
Analysis, Temporal Logic, Statistical Model Checking
Control Theory Lyapunov stability, Input-to-State Stability (ISS), Lyapunov
Function Computation, Model Predictive Control (MPC)
Statistics & Machine Learning Inferential Statistics, Regression Analysis, Hidden Markov
Model, Logistic Regression, Decision Tree Classification,
Linear Algebra Matrix Inverse, Singular Value Decomposition (SVD),
Principal Comonent Analysis (PCA), Eigen Vectors
Computer Languages C, C++, Java, Python,C#, Prolog, Matlab/Simulink, SQL
Tools dReal, SVN, SOSTOOLS, Breach, MPT, UPPAAL, SPIN
EDUCATION
Stony Brook University, Stony Brook, NY August 2015 (expected)
Ph.D. in Computer Science
GPA: 3.93/4.0
Advisor: Scott A. Smolka Co-Advisor: Radu Grosu
Bangladesh University of Engineering and Technology (BUET), Dhaka March 2009
Bachelor of Science (B.S.) in Computer Science and Engineering
GPA: 3.89/4.0, GPA (Major): 3.94/4.0
EXPERIENCES
Stony Brook University June 2011 - Present
Research Assistant Stony Brook, NY
− Parameter-Range Estimation of Tap Withdrawal in C. Elegans: Implemented exhaustive
simulation-based technique, such as local-discrepancy-based reachability analysis, for estimating
parameter ranges of a nonlinear ODE model for C. Elegans’ neural circuit representing the Tap
Withdrawal behavior. Such techniques can be applied to any nonlinear ODE model to partition
the parameter space into regions, corresponding to diverse behavioral scenarios.
− AFib Challenge: Worked on the Atrial Fibrillation (AFib) challenge problem of the National
Science Foundation-funded expedition in computing entitled Computational Modeling and Analysis
of Complex Systems (http://cmacs.cs.cmu.edu). Responsibilities included model-order reduc-
tion and analysis of nonlinear ODE-based cardiac electro-physiological models.
Major contribution:
• Developed a Sum-of-Squares optimization-based proof technique to establish the safety of
substituting a component with an approximately equivalent abstract version within an ODE-
based model. Applied the technique to show that the 13-variable component, which is in
feedback with the rest of 54-variable model, can be substituted by 2-variable component.

2. • Performed model-order reduction of 13- and 10-variable voltage-controlled Markovian sodium
and potassium channel models by identifying 2-variable Hodgkin-Huxely type models. Model
identification involved voltage-clamp simulation, parameter estimation using nonlinear opti-
mization and exponential curve-fitting.
− Model Predictive Controllers (MPCs) for Neuron: Designed and simulated both online
and explicit MPCs to control a neuron plant based on nonlinear FitzHugh-Nagumo ODE model.
Employed a piecewise affine model for MPCs to predict plant behavior in a fixed horizon for
generating optimal stimuli to track a time-varying reference of the plant. Implemented explicit
MPC by extending multi-parametric toolbox (MPT) and online MPC using nonlinear programming
(fmincon) in Matlab.
− Parameter Estimation of Flocking Model: Worked on parameter estimation of multiagent
flocking model using statistical model checking and genetic algorithm-based global optimization.
Modeling and Simulation Group, Novartis May 2012 - August 2012
Research Intern East Hanover, NJ
− Cardio-Vascular Renal Simulator (CVR-sim): Worked in cardio-vascular drug development
team to extend multi-scale physiological modeling platform (CVR-sim) to design therapeutic strate-
gies for the progression of diabetic kidney diseases.
Major Contribution:
• Extended CVR-sim by incorporating the effect of inhibiting Epithelial Sodium Channel (ENac)
in distal tubule of kidney to the progression of diabetic nephropathy.
• Extended CVR-sim by adding the effect of inhibiting Sodium-Glucose Linked Transporter
(SGLT) to regulate blood glucose level and showed that inhibiting both SGLT1 and SGLT2
led to more reduction in blood glucose level as opposed to inhibiting only SGLT2.
• Simulate therapeutic strategies for patient-specific progression of diabetic diseases for various
virtual patients by varying model parameters in CVR-sim platform.
Stochastic Logic Limited March 2009 - July 2010
Quantitative Software Developer Dhaka, Bangladesh
− Responsibilities included applying statistical, machine learning and numerical algorithms to develop
innovative solutions for options and futures, interest rate modeling, stochastic volatility modeling
and risk management. Major contributions:
• Implemented a stock market index tracker for Dhaka Stock Exchange using genetic algorithms.
• Implemented a Factor-Augmented Vector Auto-Regressions (FAVAR) model to detect impor-
tant factors influencing interest rate using ARFit and PrimComp toolboxes of Matlab.
• Implemented a dynamic programming-based algorithm to determine lead-lag structure between
time series data of two stock markets to analyze the dependency between them.
PUBLICATIONS
1. Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A.
Smolka: Model Checking Tap Withdrawal in C. Elegans. CoRR abs/1503.06480, 2015.
2. Abhishek Murthy, Md. Ariful Islam, Radu Grosu and Scott A. Smolka. Computing Bisimulation
Functions using SOS Optimization and delta-decidability over the Reals. International Conference
on Hybrid Systems: Computation and Control (HSCC), 2015.
3. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio Fenton, James
Glimm, Scott A. Smolka and Radu Grosu. Model-order reduction of ion channel dynamics using
approximate bisimulation. Theoretical Computer Science, 2014.
4. Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka and Radu Grosu. Com-
positionality results for cardiac cell dynamics. International Conference on Hybrid Systems: Com-
putation and Control (HSCC), 2014.

3. 5. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Scott Stoller, Scott A. Smolka and Radu
Grosu. Tracking action potentials of nonlinear excitable cells using model predictive control.
BioTechno, 2014.
6. Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio Fenton, James
Glimm, Scott A. Smolka and Radu Grosu. Approximate bisimulations for sodium channel dy-
namics. International Conference on Computational Methods in Systems Biology (CMSB), 2012.
7. Syed Ishtiaque Ahmed, Masud Hasan and Md. Ariful Islam. Cutting a convex polyhedron out
of a sphere. Graphs and Combinatorics, 2011.
8. Syed Ishtiaque Ahmed, Md. Ariful Islam and Masud Hasan. Cutting a cornered convex polygon
out of a circle. Journal of Computers, 2010.
9. Syed Ishtiaque Ahmed, Masud Hasan and Md. Ariful Islam. Cutting a convex polyhedron out
of a sphere. Workshop on Algorithms and Computation (WALCOM), 2010.
10. Syed Ishtiaque Ahmed, Md. Ariful Islam and Masud Hasan. Cutting a cornered convex polygon
out of a circle. International Conference on Communications and Information Technology, 2008.
SELECTED COURSE PROJECTS
9. Automated Credit Rating Classifier: Designed and implemented an automated credit rating
tool using ID3 decision tree classification algorithm, where continuous valued features are handled
by converting them into categorical data.
10. Naive Bayes Spam Filtering: Implemented a spam filter using Naive Bayes classifier in Java
as a part of Artificial Intelligence coursework in Ph.D. program.
11. Voice Activated Remote Controlled Home Maintenance System: As a part of Computer
Interfacing coursework, this project was implemented to control home appliances like bulb, fan,
tv etc. A computer server received command via phone call and sent control signal to electric
circuitry, connected to the appliances, via parallel port.
12. Four-bit Micro-processor: Designed and emulated 4-bit microprocessor as a part of final project
of Digital Design System coursework. This microprocessor was capable of performing 28 different
assembly instructions. SAP-2 architecture was adopted for design purpose and CircuitMaker was
used for emulation. Performance was enhanced by adding pipeline capability.
13. DataLink Layer of Computer Network: As a part of Computer Networks coursework, a
sliding-window protocol for the communication in data-link layer of computer network was imple-
mented. Java language with multi-threading programming was used for implementation.
14. Web-based Sports Archive using C# and Oracle: Designed a database schema for an online
sports archive using Oracle Database server and developed a website for it using C# in ASP.NET
platform.
15. C-Compiler: As a part of Compiler coursework, a compiler for basic ’C’ programming language
was implemented. LEX was used for lexical analyzer and YACC was used for semantic analyzer
of the compiler.
HONORS
16. Awarded travel grant for SRI summer school on Formal Techniques, 2014 & 2015.
17. Awarded travel grant to attend CMSB, 2013, IST, Austria.
18. Awarded RAP travel grant from Graduate Student Organization, Stony Brook, 2013.
19. Nominated for travel grant to attend CCCG 2013.
20. Awarded special fellowship of Computer Science department, Stony Brook University, 2010.
21. Awarded scholarship for Academic Excellence and placed in Dean’s list, BUET, 2005-2009.