معرفی
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
۰مقاله منتشرشده
Liron Cohen در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- VVincent RahliMax Planck Institute for Software Systems · دانشیار
Reuben RoweRoyal Holloway, University of London · مدرس ارشد
Ori LahavNational and Kapodistrian University of Athens · استاد
Ori LahavMax Planck Institute for Software Systems · دانشیار
Peter DybjerChalmers University of Technology · استاد
Michael KrivelevichUniversity of Novi Sad · استاد