About
Liron Cohen is an Assistant Professor at the Department of Computer Science, Ben-Gurion University, Israel. He earned his PhD at Tel Aviv University under Arnon Avron and was a Fulbright postdoctoral researcher at Cornell University hosted by Robert Constable. Currently on sabbatical at Cornell during 2024-2025, his research focuses on connections between proofs, computation, and mathematics.
- Education: PhD (Tel Aviv University), MSc (Tel Aviv University)
Research Interests
Cohen's work bridges logic, type theory, and computational mathematics. Key areas include:
- Type systems and computational models
- Theorem proving and automated reasoning
- Constructive and intuitionistic logic
- Effectful computation
- Cyclic proof systems
- Formal verification
Scientific Awards
- Pazy Memorial Research Award
- ETAPS Distinguished Paper Award
- ETAPS Distinguished Artifact Award
0Publications listed
Find Liron Cohen elsewhere
Related Searches
You Might Also Like
- VVincent RahliMax Planck Institute for Software Systems · Associate Professor
Reuben RoweRoyal Holloway, University of London · Senior Lecturer
Ori LahavNational and Kapodistrian University of Athens · Professor
Ori LahavMax Planck Institute for Software Systems · Associate Professor
Peter DybjerChalmers University of Technology · Professor
Michael KrivelevichUniversity of Novi Sad · Professor