Liron Cohen

Area of research

Artificial Intelligence · Computational Theory and Mathematics

Research interest

Research interests include Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Robotic Path Planning Algorithms, and Formal Methods in Verification.

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.