Suzette Person

I am a research computer scientist in the Formal Methods Group at NASA Langley Research Center, Hampton, VA. I received my PhD from the University of Nebraska-Lincoln where I was a member of the ESQuaReD Lab.

I am currently working on tools and techniques for NASA's Assurance of Flight Critical Systems (AFCS) project in the Aviation Safety Program.

Research

• Publications
• Projects

Upcoming Events

• "Java PathFinder Workshop 2014"
• "37th International Conference on Software Engineering (ICSE 2015)"
• "ISSTA'15: International Symposium on Softare Testing and Analysis"
• "7th NASA Formal Methods Symposium (NFM 2015)"
• "30th IEEE/ACM International Conference on Automated Softare Engineering (ASE 2015)"

Recent Events