Ranganathan Padmanabhan

Photo of Ranganathan Padmanabhan

Senior Scholar

Office 527 Machray Hall
(204) 474-6928

Education

B.Sc. Madras
M.Sc. Madras
Ph.D. Madurai

Research interests

equational logic, geometry, automated reasoning, first order theorem proving