PhD Student
Automated compiler validation using program generation, mutation and deep learning
Computer Science PhD Student at University of Texas - Arlington
Developed C++ based tools to automatically test MATLAB at The MathWorks
Automated Validation of Complex Software Tool Chain
Our SLforge tool automatically creates Simulink (cyber-physical system models) programs and uses them to find bugs in MATLAB/Simulink - the popular IDE for rapid prototyping of embedded systems.
SLforge: Automated Validation of Complex CPS Tool Chain
Bronze Medal at ACM/Microsoft Student Research Competion at ICSE 2018
Developed the first known automated validation tool for complex cyber-physical system tool chains (e.g. MATLAB/Simulink),
which has already found 10+ new, confirmed bugs.
Largest Public Corpus of Simulink Models
To explore real-world cyber-physical system model metrics, we have developed and are maintaining the largest corpus of publicly available MATLAB/Simulink models
Ph.D. in Computer Science and Engineering
Started my Ph.D. in August 2015 at The University of Texas at Arlington, TX, USA.
GPA: 4.0
Thesis: Automated Improvement of Commmercial Cyber-Physical System Development Tool Chains
Supervisors: Dr. Christoph Csallner and Dr. Taylor Johnson
B.Sc. in Computer Science at Engineering
Graduated from Bangladesh University of Engineering and Technology (BUET) in February 2013
Major GPA: 3.77
Thesis: Automatically Generate Packets to Test PCI-Express Transport Layer Protocol Compliance