About Me

Profile

Negar Fathi

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

Ph.D. student in Computer Science at the University of Nebraska-Lincoln specializing in program analysis, formal verification, and automated reasoning. My research focuses on static and dynamic analysis, SAT/SMT-based reasoning, and compiler-driven techniques to improve software reliability and verification.

Featured Publications

Manuscript on Reasoning about Program Termination and Non-Termination
Manuscript

Anonymous

Under Peer Review

2025

DOI PDF

COSMOS: A Comprehensive Framework for Automatically Generating Domain-Oriented Test Suite
Journal

Akram Kalaee, Saeed Parsa, Negar Fathi

Information and Software Technology

2023

DOI PDF
View All Publications

Featured Projects

COSMOS
completed

2022 - 2023

This project implements a comprehensive framework for automatically generating domain-oriented test suites.

Code

Taxi Density Clustering
completed

2021

This project performs spatial clustering of taxi trajectory data using DBSCAN in ELKI after randomized data sampling with C#, identifying regions of high taxi density based on geographic coordinates.

Code

Warehouse Management System
completed

2021

This project is implemented using PostgreSQL as the backend database, featuring table inheritance, data queries, stored procedures, and C# integration through Npgsql in Visual Studio.

Code
View All Projects