# Melvin Fitting

## Lehman College - CUNY Graduate Center

### external web page

Lehman College Professor Melvin Fitting received the Herbrand Award of 2012 for his groundbreaking contributions to the field of automated theorem proving, which focuses on getting computer programs to prove logical and mathematical deductions.

Melvin Fitting has 8 talks in our database: