Name:Negar Fathi

Bio:

I am a Ph.D. candidate in Computer Science at the University of Nebraska–Lincoln. My research focuses on formal methods, program analysis, and software testing to improve software reliability and correctness. My work also explores how artificial intelligence, including large language models, can be combined with rigorous program reasoning to support software engineering.

Country:United States

Affiliation:University of Nebraska–Lincoln

Research interests:Formal Methods, Program Analysis, Software Testing, AI for Software Engineering