Developed a neural-symbolic framework for C/C++ termination and non-termination analysis using LLVM-based loop extraction, LLM-guided witness synthesis, and SMT-based validation.
Developed a hybrid framework for C/C++ termination and non-termination analysis by combining dynamic loop-entry reachability with static precondition synthesis and refinement.
Developed a sound framework for termination and non-termination analysis of C programs with bit-precise bounded semantics and support for advanced constructs.
Developed a lightweight preprocessing framework for termination and non-termination analysis of C/C++ programs using loop-based slicing and input-driven concretization.
Extended an LLVM-IR-to-LTS translator with arrays, structures, and bit-level operations to produce abstract representations suitable for formal and automated program analysis.
Developed a framework for automatically generating domain-oriented test inputs from program path constraints.
Developed a Roslyn-based static analysis tool for checking naming, method-structure, and complexity-related clean-code practices in C# programs.
Developed a software modularization and architecture recovery tool based on class-level dependency analysis.
Developed an object-oriented C# project with interface-based design, stubs, and NUnitbased unit testing.
Developed a hybrid rule-based and machine-learning framework for automated detection and classification of physical-unit inconsistencies in ROS/C++ robotic software.
Developed an early-fusion semantic segmentation framework for thin-obstacle detection in UAV navigation using RGB, depth, and edge cues on the DDOS dataset.
Developed a spatial trajectory analysis project using preprocessing and DBSCAN clustering on large-scale taxi data.
Developed a warehouse management system integrating PostgreSQL, SQL procedures/functions, and a C# Windows Forms application.
Developed a client-server project comparing synchronous and asynchronous communication using a WCF service andWindows Forms clients.
Developed a hospital workflow modeling and improvement project for analyzing current processes and proposing future operational workflows.