Nathaniel Dearce

PhD Student, Formal Methods

Research Interests

Formal methods, Artificial intelligence, Proof engineering

Education

2015-2018 Old Dominion University

Bachelor of Science in Computer Science

2018-2021 Old Dominion University

Master of Science

2021-Present Old Dominion University

PhD. Computer Science

Technical Skills