- Ph.D. in Mathematics, University of Amsterdam, 1975
![Daniel Leivant](../../images/profiles/profiles-768x768/leivant.jpg)
Daniel Leivant
Adjunct Professor, Mathematics
Professor, Computer Science
Adjunct Professor, Mathematics
Professor, Computer Science
Main Research Group: Logic
Research Interests: program verification; foundations of programming languages; proof theory; computational complexity; constructive mathematics