Liron Cohen

Emailclironbgu.acil

h-index

Research activity per year

Fingerprint

Dive into the research topics where Liron Cohen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

22 Conference contribution
9 Article
3 Conference article
1 Editorial
More
- 1 Preprint

Computation First: Rebuilding Constructivism with Effects
Cohen, L., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Cyclone: A Heterogeneous Tool for Verifying Infinite Descent
Cohen, L., Rowe, R. N. S. & Shaked, M., 1 Jan 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 336-354 19 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access
From Partial to Monadic: Combinatory Algebra with Effects
Cohen, L., Grunfeld, A., Kirst, D. & Miquey, É., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations
Syntactic Effectful Realizability in Higher-Order Logic
Cohen, L., Grunfeld, A., Kirst, D. & Miquey, E., 1 Jan 2025, Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers, p. 16-30 15 p. (Proceedings - Symposium on Logic in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access
1 Scopus citations
Early Prediction of Student Dropout in Higher Education using Machine Learning Models
Goren, O., Cohen, L. & Rubinstein, A., 1 Jan 2024, Proceedings of the 17th International Conference on Educational Data Mining, EDM 2024. Demmans Epp, C., Paaßen, B. & Joyner, D. (eds.). International Educational Data Mining Society, p. 349-359 11 p. (Proceedings of the International Conference on Educational Data Mining).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
20 Scopus citations
Separating Markov's Principles
Cohen, L., Forster, Y., Kirst, D., Da Rocha Paiva, B. & Rahli, V., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 28. (Proceedings - Symposium on Logic in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access
3 Scopus citations
The Complex(ity) Landscape of Checking Infinite Descent
Cohen, L., Jabarin, A., Popescu, A. & Rowe, R. N. S., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, 46.
Research output: Contribution to journal › Article › peer-review

Open Access
3 Scopus citations
TT^□_C: A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY
Cohen, L. & Rahli, V., 1 Jan 2024, In: Logical Methods in Computer Science. 20, 2, p. 18:1-18:27
Research output: Contribution to journal › Article › peer-review

Open Access
3 Scopus citations
Inductive Continuity via Brouwer Trees
Cohen, L., da Rocha Paiva, B., Rahli, V. & Tosun, A., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7 Scopus citations
Realizing Continuity Using Stateful Computations
Cohen, L. & Rahli, V., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7 Scopus citations

Cyclic Reasoning Mechanisms for Interactive Theorem Proving
Cohen, L. (Recipient) & Popescu, R. A. (Recipient), 2021
Prize
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. (Recipient) & Constable, R. L. (Recipient), 2021
Prize
Formalizing Coinduction via Closure Operators and Proof Cycles
Cohen, L. (Recipient), 2021
Prize
Real-time Robustness Proving in Machine Learning Models
Cohen, L. (Recipient) & Einziger, G. (Recipient), 2020
Prize
The Pazy Memorial Research Award
Cohen, L. (Recipient) & Constable, R. L. (Recipient), 2021
Prize

1 Finished
4 Active

Effectful Realizability: Frameworks and Applications
Cohen, L. (PI)
Israel Science Foundation
1/01/25 → 31/12/29
Project: Research
Equipment for implementing and testing the coinduction principle in a proof assistant
Cohen, L. (PI)
Israel Science Foundation
1/01/21 → …
Project: Research
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. (PI) & Constable, R. (CoPI)
1/01/20 → …
Project: Research
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. (PI) & Constable, R. (CoPI)
United States-Israel Binational Science Foundation (BSF)
1/01/20 → …
Project: Research
Formalizing Coinduction via Closure Operators and Proof Cycles
Cohen, L. (PI)
Israel Science Foundation
1/01/21 → 31/12/24
Project: Research

Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)
Rowe, R. (Creator), Cohen, L. (Creator) & Shaked, M. (Creator), ZENODO, 25 Oct 2024
DOI: 10.5281/zenodo.13990264, https://zenodo.org/records/13990264
Dataset
Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)
Rowe, R. (Creator), Cohen, L. (Creator) & Shaked, M. (Creator), ZENODO, 5 Feb 2025
DOI: 10.5281/zenodo.14743891, https://zenodo.org/records/14743891
Dataset
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 5 Nov 2023
DOI: 10.5281/zenodo.10073582, https://zenodo.org10073582
Dataset
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 9 Oct 2023
DOI: 10.5281/zenodo.8422899, https://zenodo.org/record/8422899
Dataset

Liron Cohen

Personal profile

Fingerprint

Collaborations and top research areas from the last five years

Dive into details

Computation First: Rebuilding Constructivism with Effects

Cyclone: A Heterogeneous Tool for Verifying Infinite Descent

From Partial to Monadic: Combinatory Algebra with Effects

Syntactic Effectful Realizability in Higher-Order Logic

Early Prediction of Student Dropout in Higher Education using Machine Learning Models

Separating Markov's Principles

The Complex(ity) Landscape of Checking Infinite Descent

TT^□_C: A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY

Inductive Continuity via Brouwer Trees

Realizing Continuity Using Stateful Computations

Cyclic Reasoning Mechanisms for Interactive Theorem Proving

Extending and Applying Implemented Intuitionistic Mathematics

Formalizing Coinduction via Closure Operators and Proof Cycles

Real-time Robustness Proving in Machine Learning Models

The Pazy Memorial Research Award

Effectful Realizability: Frameworks and Applications

Equipment for implementing and testing the coinduction principle in a proof assistant

Extending and Applying Implemented Intuitionistic Mathematics

Extending and Applying Implemented Intuitionistic Mathematics

Formalizing Coinduction via Closure Operators and Proof Cycles

Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)

Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)

The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

Liron Cohen

Personal profile

Fingerprint

Collaborations and top research areas from the last five years

Research output

Prizes

Projects

Datasets