Name:Harley D. Eades III

Country:United States

Affiliation:Augusta University

Research interests:functional programming languages, dependent types, categorical logic, software verification, interactive theorem proving