Lenny Taelman (Preferred)
Lenny Taelman
Full Professor, University of Amsterdam
Joined
January 2026
Names
Emails
****@uva.nl (Confirmed)
****@gmail.com
Personal Links
Career & Education History
Full Professor
University of Amsterdam (uva.nl)
2014 – Present
Advisors, Relations & Conflicts
Expertise
Automated theorem proving
2024 – Present
Formal methods in mathematics
2024 – Present
Pure mathematics
2002 – Present