Computer Science PhD · Syracuse University
Models that learn & logic that verifies.
I’m a NeuroSymbolic AI researcher at the Leibnitz Lab, working on systems that combine statistical learning with rigorous logic — and that can detect, explain, and recover from their own errors. Advised by Prof. Paulo Shakarian.
00 — About
Engineer, computer scientist, working at the intersection of logic and learning.
Last updated: Loading…
Hi there!
I am a 3rd-year Computer Science Ph.D. student and a Research Associate at the Leibnitz NeuroSymbolic Lab @ Syracuse University (SU), New York, USA under the direction of Prof. Paulo Shakarian.
Until recently, I served as a Visiting Researcher at the Learning Sciences group at the Institute for Creative Technologies (ICT) under the University of Southern California (USC).
Until 2023, I served as an AI/ML Researcher at Ben Gurion University of the Negev (BGU), Israel. I was a part of Prof. Gera Weiss and Prof. Shai Arogeti’s Intelligent Robotics Lab (IRL) at BGU, which I co-founded.
I hold a Master of Science (M.Sc.) in Computer Science and a Bachelor of Science (B.Sc.) in Mechanical Engineering, both from BGU.
My research interests are in the fields of Artificial Intelligence (AI), Robotics, Machine Learning (ML), and Modern Control Theory.
Feel free to take a look around to learn more about my work.
News
- Loading news...
Research focus
Where my work lives.
Three threads run through everything I build — together they shape the questions I ask and the systems I help bring into the world.
-
01
NeuroSymbolic AI
Infusing statistical neural models with rigorous logic so that learned systems can reason, justify, and recover from their own errors — the core of my PhD work.
-
02
Machine Learning
From hierarchical multi-label classification to LLM scaling laws and agentic frameworks for education — applied ML on real problems with real constraints.
-
03
Robotics & Control
Differential games and modern control theory for autonomous systems handling competing objectives — bridging the mechanical engineering that started my path with the AI that continues it.
01 — Education
Three degrees, one trajectory.
From mechanical engineering to computer science to a PhD in NeuroSymbolic AI — each step a deliberate move toward the questions I find most worth answering.
Education
Ph.D. in Computer Science
Syracuse University, Syracuse, New York (2025-2027),
Arizona State University, Tempe, Arizona (2023-2025)
2023-2027
- Focusing on NeuroSymbolic infusing statistical neural-based model with rigorous logic
- Advised by Prof. Paulo Shakarian (Wikipedia, Google Scholar, IEEE, dblp)
- Current GPA: 4.0/4.0
M.Sc. in Computer Science
Ben Gurion University of the Negev, Beer Sheva, Israel
2019-2022
- Artificial Intelligence and Autonomous Software Systems Major
- Co-advised by: Prof. Gera Weiss, Computer Science (Google Scholar, IEEE, dblp) and Prof. Shai Arogeti, Mechanical Engineering (Google Scholar, IEEE, dblp)
- Graduated with GPA: 92.26/100
- Thesis grade: 94/100
- Conferred June 2023
- Certification
Selected coursework:
- Artificial Intelligence
- Deep Learning
- Machine Learning and Analysis of Big Data
- Quantum Computing
- Automata and Logic on Infinite Objects
B.Sc. in Mechanical Engineering
Ben Gurion University of the Negev, Beer Sheva, Israel
2014-2018
- Control Systems, Mechatronics and Robotics Major
- Graduated with GPA: 84.74/100
- Junior and Senior (3rd and 4th years) GPA: 89.52/100
- Final Project awarded a Certificate of Excellence
- Ranked 46 out of a total of 164 graduates
- Conferred June 2019
02 — Experience
A research-and-engineering path across labs and continents.
Roles at Syracuse, ICT@USC, ASU, BGU, Dell, and Intel — always at the boundary of research and shipped systems.
Occupational Experience
Research Associate
Leibnitz Lab, Syracuse University
Syracuse, New York, USA
2025-Present
- Conducting NeuroSymbolic research at the Leibnitz Lab under the College of Engineering and Computer Science at SU
- Supervised by Prof. Paulo Shakarian (Wikipedia, Google Scholar, IEEE, dblp)
- Authored a paper accepted to AAAI 2026, Singapore
- Reviewed papers for AAAI 2026
- Currently working on scaling laws in LLMs
Visiting AI Researcher
Institute for Creative Technologies (ICT), Viterbi School of Engineering, University of Southern California (USC)
Los Angeles, California, USA
2025
- Full-time summer internship at the Learning Sciences research group under Professor Ben Nye
- Conducting research in employing LLM-inspired methods in the field of education
- Employing Microsoft’s AutoGen framework for implementing agentic AI for learning materials
USC Website | USC ICT Website | Summer Internship Post | Group GitHub
Research Associate
Lab-V2, Arizona State University
Tempe, Arizona, USA
2023-2025
- Research Associate at the V2 Neuro-Symbolic AI lab under the Ira A. Fulton School of Engineering at ASU, supervised by Prof. Paulo Shakarian
- Managed a team of four researchers in conducting research in NeuroSymbolic AI
- Authored (first author) and presented a peer-reviewed paper at CIKM 2024, Boise, Idaho, USA
- Developed an open-source Python package called PyEDCR, implementing the method suggested at the CIKM article
- Reviewed papers for the 2nd Workshop on Metacognitive Prediction of AI Behavior at SDM2025, Alexandria, VA, USA
Vice President Data Science
Frenn Analytics
Tel Aviv, Israel
2022
- Founding the Data Science department at the HR-Tech focused start-up company in its early stages using various AI methods
- Hiring and managing a team of entry-level data scientists for data analysis and designated inference research
- Set the foundations for implementing predictive ML pipelines to use in-house company data to provide desired actionable insights for improving employee compensation models
Company LinkedIn | Company Facebook
AI/ML Research Associate and Teaching Assistant
Ben Gurion University of the Negev
Beer Sheva, Israel
2020-2023
- Authored and presented a peer-reviewed paper at MED 2021
- Developed an open-source Python package called PyDiffGame, implementing the method suggested at the article
- Acting Teaching Assistant at two CS undergraduate courses - once at Intro to CS and two times at PPL, both at BGU
Data Scientist
Dell Technologies
Beer Sheva, Israel
2019-2022
- Working with a diverse team of data scientists, consultants and engineers from various locations; Israel, USA India and Slovakia
- Worked 6 months on a Jira tickets duplication use case implemented by evaluating similarities between possible candidates
- Developing more than 20 web-based data science pipelines used to implement, manage and display results of data science projects
- Implemented pipelines for: Time Series analysis, EDA, Wordcloud, Topic Modeling, Chat Bot, Video transcript generation for seeking and questions answering, Project Management, Human Resources Allocation, Organization Exploration and a web-based portal that showcases these
- Using mostly Python, utilizing the packages Numpy, Pandas, Scipy, Plotly, Dash, Scikit-Learn, TensorFlow and PyTorch
- Taking action; presenting various demonstrations of the designed tools, running workshops, presenting at seminars
Computer Chips Manufacturing Process Engineer
Intel Corporation
Kiryat Gat, Israel
2018-2019
- Monitoring Intel’s various computer chips manufacturing processes
- Identifying design and process malfunctions, analyzing performance statistics, issuing and verifying problems
03 — Publications
Peer-reviewed work.
Papers across NeuroSymbolic AI, hierarchical multi-label classification, vision-language sensor fusion, and differential games for control.
Publications
Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments
2026
Conference Article; 40th Annual AAAI Conference on Artificial Intelligence (‘AAAI 2026’), Singapore
Mario Leiva, Noel Ngu, Joshua Shay Kricheli, Aditya Taparia, Ransalu Senanayake, Paulo Shakarian, Nathaniel Bastian, John Corcoran, Gerardo Simari
Proceedings Entry | PDF | Poster
VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection
2026
Conference Article; International Conference on Learning Representations (‘ICLR 2026’), Workshop on Unifying Concept Representation Learning (‘UCRL’), Rio de Janeiro, Brazi
Aditya Taparia, Noel Ngu, Mario Leiva, Joshua Shay Kricheli, John Corcoran, Nathaniel D Bastian, Gerardo Simari, Paulo Shakarian and Ransalu Senanayake
Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
Presented October 2024
Conference Article; 1st Author; 33rd ACM International Conference on Information and Knowledge Management (‘CIKM’), Boise, Idaho, USA
Joshua Shay Kricheli, Khoa Vo, Aniruddha Datta, Spencer Ozgur and Paulo Shakarian
ACM | arXiv | Poster | Code | Video
Differential Games for Compositional Handling of Competing Control Tasks
March 2022
Master of Science in Computer Science Thesis
Advised by Prof. Shai Arogeti and Prof. Gera Weiss
Concluded, reviewed and approved, as partial fulfillment of the requirements for the Master of Science degree
BGU Archive | Research Gate | Poster | Presentation | Code |
Composition of Dynamic Control Objectives Based on Differential Games
June 2021
Conference Article; 1st Author; 29th Mediterranean Conference on Control and Automation (‘MED’), Bari, Italy
Joshua Shay Kricheli, Aviran Sadon, Shai Arogeti, Shimon Regev and Gera Weiss
IEEE | Research Gate | Presentation | Code
SNIC Bifurcation and its Application to MEMS
October 2018
Conference Article; 1st Author, The 35th Israeli Conference on Mechanical Engineering (‘ICME’), Beer Sheva, Israel
Advised by Prof. Oriel Shoshani, ME BGU (IEEE | dblp)
Awarded a Certificate of Excellence
Conference Preprint | Research Gate | Poster | Presentation | Code
04 — Teaching & Talks
Sharing the work.
Courses I’ve taught, talks I’ve given, and essays I’ve written — the public-facing side of the research.
Teaching
Teaching
Intro to Computer Science
Introductory programming course, Maths degree 1st year; Python language Course page
Principles of Programming Languages (PPL)
Advanced programming course, CS undergraduate degree 2nd year; TypeScript, Scheme and Prolog Languages
Talks & Essays
Talks and Essays
Adaptive Agents, Reliable Learning: Toward NeuroSymbolic Solutions in Education AI
USC ICT Essay
August 2025
Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
Presented on October 2024 (English)
2024 33rd ACM International Conference on Information and Knowledge Management (‘CIKM’), Boise Center, Boise, Idaho, USA
Differential Games for Modular Handling of Competing Control Objectives
Presented on March 2023 (Hebrew)
Israeli Conference on Robotics (‘ICR’) 2023, Airforce Conference Center, Herzliya, Israel
Participation Record | Presentation
Carlini & Wagner Evasion Attacks
Presented on September 2022 (English)
Deep Science research presentation at Deutsches Zentrum für Luft und Raumfahrt (DLR) - The German Aerospace Center
Composition of Dynamic Control Objectives Based on Differential Games
Presented on June 2021 (English)
29th Mediterranean Conference on Control and Automation (‘MED’), Bari, Italy
Siamese Neural Networks for One-Shot Image Recognition
Gregory Koch, R. Z., & Salakhutdinov, R., 2015
Presented on May 2021 (Hebrew)
Advanced Seminar in Machine Learning, Department of Computer Science, Ben Gurion University of the Negev
Quantum Computing in Machine Learning
Presented on June 2020 (English)
Advanced Seminar for Developers, Data Science Team, DellEMC
05 — Recognition
Selected fellowships, scholarships, and awards.
Funding and recognition that has supported my path from Israel to the United States, across mechanical engineering, AI, and security-focused research.
Selected Fellowships, Scholarships, Affiliations and Awards
Ph.D. KG Tan Computer Science Award
2025 - 2027
Syracuse University fellowship by the SU Alum Innovator Kwang G. Tan
Award Announcement | Endowment Article
Ph.D. ‘Galileo Project’ (‘GP’) Affiliate, Center for Astrophysics, Harvard University, USA
2024 - Present
Employing AI in the systematic scientific search for evidence of extraterrestrial technological artifacts
GP Affiliates | GP Website | GP @ Harvard | Harvard Center for Astrophysics
Ph.D. ‘Global Security Initiative’ (‘GSI’) 4-Year Fellowship
2023 - 2025
ASU fellowship for security-focused research improving capabilities for high-profile national security
GSI Website
M.Sc. Israeli National Science Foundation (NSF) Grant
2023
Science research grant for academic research teams who contributed outstanding novel work - awarded for the Master’s thesis
M.Sc. ‘Israel Data Science Initiative’ and German ‘Helmholtz Information and Data Science Academy’ Fully Funded Exchange Program
August - October 2022
Deep Science research at ‘Deutsches Zentrum für Luft und Raumfahrt’ (‘DLR’) - The German Aerospace Center
CS BGU Announcement | Helmholtz-Israel Exchange | German Aerospace Center | DLR Data Science Institute Website | Presentation
M.Sc. ‘Israeli Smart Transportation Research Center’ (‘ISTRC’) 1-Year Excellence Fellowship
2020-2021
Technion and Bar-Ilan Universities program with Israel’s Prime Minister’s Office and Council for Higher Education
CS BGU Announcement | ISTRC 2021 Scholarship Winners | ISTRC Website
M.Sc. ‘Agricultural, Biological and Cognitive’ (‘ABC’) Robotics 2-Year Fellowship
2019-2021
Ben Gurion University of the Negev initiative for innovative multidisciplinary robotics research fellowship for admitted teaching assistants
ABC M.Sc. Students Listing | ABC Website
B.Sc. ‘Educating for Excellence’ 1-Year Fellowship
2015-2016
Israeli foundation for educating children from its socioeconomic and geographic periphery toward academic and personal excellence
Educating for Excellence Website
B.Sc. ‘Israel Scholarship Education Foundation’ (‘ISEF’) 3-Year Fellowship
2014-2017
Academic excellence and leadership scholarship funded by investors from the United States
ISEF Website | ISEF Facebook | ISEF LinkedIn
B.Sc. Tel-Aviv University (TAU) 4-Year Scholarship
2014-2018
Engineering degree academic scholarship
TAU Website
B.Sc. Israeli Ministry of Education 2-Year Scholarship
2014-2016
Bachelor students funding program issued by the Student Assistance Fund, Education Ministry office in the Israeli government
Israeli Ministry of Education Student Scholarships
Pre-Engineering ‘Achievements for Hi-Tech’ Program 1-Year Fellowship
2013-2014
Israeli government funding program for excellent honorably discharged soldiers from the Israeli Defence Forces
Achievements for Hi-Tech Program Website
06 — News
What’s happening lately.
A live feed from my research life — new papers, talks, affiliations, and milestones.
- Loading news…