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.
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 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.