School of Computer Science
Tel-Aviv Academic College
Professor
Office: Weston 364
Email: oarieli@mta.ac.il
Personal site: http://www2.mta.ac.il/~oarieli
ORCID: 0000-0002-6588-886X
Google Scholar: 8pTfw90AAAAJ
Semantic Scholar: 1789532
DBLP: 66/4260
Research topics
Applications of logic in Computer Science and AI
Paraconsistent logics
Teaching topics
Logic for Computer science
Computability
Database systems