About Me

Profile

Negar Fathi

Ph.D. Candidate in Computer Science at University of Nebraska-Lincoln

Ph.D. candidate in Computer Science at the University of Nebraska–Lincoln focused on formal methods, program analysis, and software testing to improve software reliability and correctness. I have also begun exploring AI techniques, including large language models, for software engineering.

Featured Publications

Anonymized Manuscript on Hybrid Analysis of Program Termination and Non-Termination through Program Refinement

under review

2026

Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
Conference

Negar Fathi, Hiroshi Unno, Tachio Terauchi, and Rahul Purandare

accepted to appear in Proceedings of the ACM International Conference on the Foundations of Software Engineering

2026

EDFNet: Early Fusion of Edge and Depth for Thin-Obstacle Segmentation in UAV Navigation
Preprint

Negar Fathi

under review at Machine Vision and Applications

2026

DOI
View All Publications

Featured Projects

Athena
completed

Aug. 2023 - Sep. 2025

Developed a sound framework for termination and non-termination analysis of C programs with bit-precise bounded semantics and support for advanced constructs.

Code

FocusTNT
completed

Oct. 2025 - Mar. 2026

Developed a lightweight preprocessing framework for termination and non-termination analysis of C/C++ programs using loop-based slicing and input-driven concretization.

Code

COSMOS
completed

Jan. 2020 - May 2021

Developed a framework for automatically generating domain-oriented test inputs from program path constraints.

Code
View All Projects