- Ph.D. in Mathematics, University of Amsterdam, 1975
Daniel Leivant
Adjunct Professor, Mathematics
Professor, Computer Science
- leivant@cs.indiana.edu
- (812) 855-6221
- Lindley Hall 201A
- Office Hours
Education
About Daniel Leivant
Main Research Group: Logic
Research Interests: program verification; foundations of programming languages; proof theory; computational complexity; constructive mathematics
The College of Arts