John Aromando
  • Home
  • Background

Computer Science - Ph.D. - Virginia Tech

Research Biography

Research Interests: Natural Language Programming, Sentence Normalization, NLP-based Software Verification

Advisors: Dr. Edward Fox & Dr. Michael Hsiao

Research Summary: I am analyzing design specs written in natural language and synthesizing assertions from the relevant descriptions using NLP/IR sentence transformations. These assertions are used as a way to verify the design. The long term goal is to develop translations from modern programming languages to natural language. ​
Picture

Get In Touch!

       email

jaromando@vt.edu
johnaromando@hotmail.com

Location

Greater Roanoke Area

Powered by Create your own unique website with customizable templates.
  • Home
  • Background