Md. Ariful Islam47 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 complexsoftware and dynamical systems using advanced computational and numerical algorithms.

EDUCATION

Stony Brook University, Stony Brook, NY August 2015 (expected)Ph.D. in Computer ScienceGPA: 3.93/4.0Advisor: Scott A. Smolka Co-Advisor: Radu Grosu

Bangladesh University of Engineering and Technology (BUET), Dhaka March 2009Bachelor of Science (B.S.) in Computer Science and EngineeringGPA: 3.89/4.0, GPA (Major): 3.94/4.0

MAJOR SKILLS

Modeling & Simulation Linear, Nonlinear & Stochastic Systems, Hybrid SystemsFormal Methods Model checking, Abstract Interpretation, Reachability

Analysis, Temporal Logic, Automata-theoryOptimization & Control Theory Linear, Nonlinear & Semi-definite Programming, Lyapunov

Stability, Input-to-State Stability (ISS)Predictive Modeling Inferential Statistics, Regression Analysis, Time Series

Analysis, Hidden Markov Model, Bayesian Inference,Logistic Regression, Decision Tree Classification, KalmanFiltering, SVD, PCA

Computer Languages C, C++, Java, Python,C#, Prolog, Matlab/SimulinkWeb Programming HTML, HTML5, Java Script, ASP.NetDatabases MSSQL, OracleTools dReal, SVN, SOSTOOLS, Breach, MPT, UPPAAL, SPINOperating System Windows, Linux, Mac OS

EXPERIENCES

Stony Brook University June 2011 - PresentResearch 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 estimatingparameter ranges of a nonlinear ODE model for C. Elegans’ neural circuit representing the TapWithdrawal behavior. Such techniques can be applied to any nonlinear ODE model to partitionthe parameter space into regions, corresponding to diverse behavioral scenarios.

− AFib Challenge: Worked on the Atrial Fibrillation (AFib) challenge problem of the NationalScience Foundation-funded expedition in computing entitled Computational Modeling and Analysisof 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 ofsubstituting 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 infeedback with the rest of 54-variable model, can be substituted by 2-variable component.

• Performed model-order reduction of 13- and 10-variable voltage-controlled Markovian sodiumand potassium channel models by identifying 2-variable Hodgkin-Huxely type models. Modelidentification involved voltage-clamp simulation, parameter estimation using nonlinear opti-mization and exponential curve-fitting.

− Model Predictive Controllers (MPCs) for Neuron: Designed and simulated both onlineand 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 forgenerating optimal stimuli to track a time-varying reference of the plant. Implemented explicitMPC 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 multiagentflocking model using statistical model checking and genetic algorithm-based global optimization.

Modeling and Simulation Group, Novartis May 2012 - August 2012Research 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 SGLT2led to more reduction in blood glucose level as opposed to inhibiting only SGLT2.

• Simulate therapeutic strategies for patient-specific progression of diabetic diseases for variousvirtual patients by varying model parameters in CVR-sim platform.

Stochastic Logic Limited March 2009 - July 2010Quantitative Software Developer Dhaka, Bangladesh

− Responsibilities included applying statistical, machine learning and numerical algorithms to developinnovative solutions for options and futures, interest rate modeling, stochastic volatility modelingand 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 betweentime 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 BisimulationFunctions using SOS Optimization and delta-decidability over the Reals. International Conferenceon Hybrid Systems: Computation and Control (HSCC), 2015.

3. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio Fenton, JamesGlimm, Scott A. Smolka and Radu Grosu. Model-order reduction of ion channel dynamics usingapproximate 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.

5. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Scott Stoller, Scott A. Smolka and RaduGrosu. 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, JamesGlimm, 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 outof a sphere. Graphs and Combinatorics, 2011.

8. Syed Ishtiaque Ahmed, Md. Ariful Islam and Masud Hasan. Cutting a cornered convex polygonout of a circle. Journal of Computers, 2010.

9. Syed Ishtiaque Ahmed, Masud Hasan and Md. Ariful Islam. Cutting a convex polyhedron outof a sphere. Workshop on Algorithms and Computation (WALCOM), 2010.

10. Syed Ishtiaque Ahmed, Md. Ariful Islam and Masud Hasan. Cutting a cornered convex polygonout 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 ratingtool using ID3 decision tree classification algorithm, where continuous valued features are handledby converting them into categorical data.

10. Naive Bayes Spam Filtering: Implemented a spam filter using Naive Bayes classifier in Javaas a part of Artificial Intelligence coursework in Ph.D. program.

11. Voice Activated Remote Controlled Home Maintenance System: As a part of ComputerInterfacing 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 electriccircuitry, connected to the appliances, via parallel port.

12. Four-bit Micro-processor: Designed and emulated 4-bit microprocessor as a part of final projectof Digital Design System coursework. This microprocessor was capable of performing 28 differentassembly instructions. SAP-2 architecture was adopted for design purpose and CircuitMaker wasused for emulation. Performance was enhanced by adding pipeline capability.

13. DataLink Layer of Computer Network: As a part of Computer Networks coursework, asliding-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 onlinesports archive using Oracle Database server and developed a website for it using C# in ASP.NETplatform.

15. C-Compiler: As a part of Compiler coursework, a compiler for basic ’C’ programming languagewas implemented. LEX was used for lexical analyzer and YACC was used for semantic analyzerof 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.