Daniel Leivant
Professor of Computer ScienceAdjunct Professor of Mathematics
Adjunct Professor of Philosophy
Email: leivant@indiana.edu
Phone: (812) 855-6221
Office: Luddy Hall (700 N. Woodlawn Ave) | Room: 3126
Office Hours
M 12:45-13:30
Education
- PhD in Mathematics at University of Amsterdam, 1975
- MSc in Mathematics at University of Amsterdam, 1972
- BSc in Mathematics, Physics and Philosophy of Science at The Hebrew University, Jerusalem, Israel, 1969
Luddy Research Areas
- Intradepartmental
- Programming Languages
- Theoretical Computer Science
- Departmental
- Algorithms and Theoretical Computer Science
Other Research Areas
- Foundations of Mathematics
- Formal Logic
- Program Verification