Nathan B. Dearce

ODUCS PhD Student, Formal Methods

prof_pic.jpg

ECSB 332O

4600 Elkhorn Ave

Norfolk, VA 23529

Figuring things out.

Hello! I am Nathan Dearce. I am a PhD student at Old Dominion University. My advisor is Dr. Andrey Chernikov. My research interests are in the field of formal methods and artificial intelligence.

Education

  • PhD
    • Old Dominion University 2021 -
  • Master of Science
    • Old Dominion University 2018 - 2021
  • Bachelor of Science
    • Old Dominion University 2015 - 2018